- Author: Ian Sumner
- Language: English
- Year: 1995
- Author: C. A. E. Luschnig
- Language: English
- Year: 2007
- Author: Francesco Tafuri (editor)
- Language: English
- Year: 2019
- Author: Laura Hering
- Language: German
- Year: 2019
- Author: Francesco Tafuri
- Language: English
- Year: 2019
- Author: Polybius, Raymond Weil
- Language: French
- Year: 1982
- Author: Simon MacDowall
- Language: English
- Year: 2015
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems
djvu
- Author: Roman Murawski
- Language: English
- Year: 1999
- Author: H. Peter Gumm
- Language: English
- Year: 1983