Proof Theory

Takeuti, Gaisi

Proof Theory - 2/e - New York Dover Publications 2013 - x, 490p.

9780486490731


Proof Theory

511.36 / Tak
© 2021 Managed and maintained by Central Library, IIT Goa