Proof theory.

Overview

Works:	4 works in 4 publications in 1 languages

Titles

Conditional and preferential logics : proof methodsand theorem proving by: Pozzato, Gian Luca (Language materials, printed)

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

Mathematical analysis and proof by: Stirling, David S. G. (1947-) (Electronic resources)

Handbook of proof theory by: Buss, Samuel R. (Electronic resources)