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
Handbook of Proof Theory : (SL 137) - Netherlands Elsevier 1998 - 811 - Studies in Logic, 137 .
0 444 89840 9
Proof Theory
510.6(02) BUSS