- 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: Gandy R.O. Yates C.M.E. (eds.)
- Language: English
- Year: 1971
- Author: D.M. Gabbay A. Kurucz F. Wolter M. Zakharyaschev
- Language: English
- Year: 2003
- Author: Dov M. Gabbay Dimitrij Skvortsov Valentin Shehtman
- Language: English
- Year: 2009
- Author: Hans Freudenthal
- Language: English
- Year: 1960
- Author: Fraenkel A.A. Bar-Hillel Y.
- Language: English
- Year: 1958
- Author: Jens Erik Fenstad Ivan T. Frolov Risto Hilpinen (eds.)
- Language: English
- Year: 1989