Buss, Samuel R. Ed.

Handbook of Proof Theory : (SL 137) - Netherlands Elsevier 1998 - 811 - Studies in Logic, 137 .

0 444 89840 9


Proof Theory

510.6(02) BUSS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha