- Author: Kino A. Myhill J. Vesley R.E. (eds.)
- Language: English
- Year: 1970
- Author: Carol R. Karp
- Language: English
- Year: 1964
- Author: Kanger S. (ed.)
- Language: English
- Year: 1975
- Author: Bart Jacobs
- Language: English
- Year: 1999
- Author: Hintikka J. Suppes P. (eds.)
- Language: English
- Year: 1966
- Author: R. Hirsch I. Hodkinson
- Language: English
- Year: 2002
- Author: Henkin L. et al. (eds.)
- Language: English
- Year: 1959
- Author: Heyting A.
- Language: English
- Year: 1956
Recursive Number Theory: A Development of Recursive Arithmetic in a Logic-Free Equation Calculus
djvu
- Author: Goodstein R.L.
- Language: English
- Year: 1957
- Author: R.O. Gandy J.M.E. Hyland (eds.)
- Language: English
- Year: 1977