- Author: Gerhard Gentzen, M E Szabo
- Language: English
- Year: 1970
Proof Theory
pdf
- Author: Gaisi Takeuti
- Language: English
- Year: 1987
- Author: Dov M Gabbay, et al
- Language: English
- Year: 2003
- Author: Anne S. Troelstra Dirk van Dalen
- Language: English
- Year: 1988
- Author: Nederpelt R.P. Geuvers J.H. de Vrijer R.C. (eds.)
- Language: English
- Year: 1994
- Author: Samuel R. Buss (Editor)
- Language: English
- Year: 1998
- Author: Piergiorgio Odifreddi
- Language: English
- Year: 1999
- Author: Jon Barwise (Editor)
- Language: English
- Year: 1977
- Author: Helena Rasiowa
- Language: English
- Year: 1974
Axiomatic Set Theory
djvu
- Author: Paul Bernays with a historical introduction by Abraham A. Fraenkel
- Language: English