Proof Theory
Takeuti, Gaisi
Proof Theory - 2/e - New York Dover Publications 2013 - x, 490p.
9780486490731
Proof Theory
511.36 / Tak
Proof Theory - 2/e - New York Dover Publications 2013 - x, 490p.
9780486490731
Proof Theory
511.36 / Tak