 |
 |
 |
HANDBOOK OF PROOF THEORY
|  |
 |  |  |
 |
 |
To order this title, and for more information, click here
Edited By
S.R. Buss, Dept. of Mathematics and Computer Science, University of California, San Diego, La Jolla, CA, USA
Reviews
Bulletin of Symbolic Logic, Toshiyasu Arai
The Handbook is most welcome in the logic community. I recommend the Handbook to researchers and graduate students in logic, mathematics,
computer science, philosophy, linguistics, artificial intelligence, automated reasoning and cognitive sciences.
|
 |
|  |
 |  |  |
 |
|
|  |