Proof theory.

[NT 60487] Overview

[NT 60478] Works:	4 [NT 60520] works in 4 [NT 60521] publications in 1 [NT 60522] languages

[NT 60480] Titles

Conditional and preferential logics : proof methodsand theorem proving [NT 59711] by: Pozzato, Gian Luca ([NT 1579] Language materials, printed)

How to read and do proofs : an introduction to mathematical thought processes [NT 59711] by: Solow, Daniel ([NT 1579] Language materials, printed)

Mathematical analysis and proof [NT 59711] by: Stirling, David S. G. (1947-) ([NT 8598] Electronic resources)

Handbook of proof theory [NT 59711] by: Buss, Samuel R. ([NT 8598] Electronic resources)