Opening book details…
About this Computer Science article
Samuel R. Buss. An introduction to proof theory. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, p. v., pp. 1–78. by Review by: Toshiyasu Arai is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Review by: Toshiyasu Arai
- Publisher
- JSTOR; Cambridge University Press; Cambridge University Press (CUP) (ISSN 1079-8986)
- Published
- 2000
- Field
- Computer Science (Physical Sciences)