Proof Theory
Editor Peter Aczel, Harold Simmons & Stanley Wainer
Proof Theory - Cambridge 2008
Includes References
0-521-05416-8
511.36 P94 2008
Proof Theory - Cambridge 2008
Includes References
0-521-05416-8
511.36 P94 2008
