- Author: Piergiorgio Odifreddi
- Language: English
- Year: 1999
- Author: J.W. Addison Leon Henkin Alfred Tarski (eds.)
- Language: English
- Year: 1963
- Author: Kenneth Kunen
- Language: English
- Year: 1983
- Author: Henkin L. et al. (eds.)
- Language: English
- Year: 1959
- Author: Marcus Kracht
- Language: English
- Year: 1999
- Author: Arend Heyting
- Language: English
- Year: 1971
- Author: Arend Heyting
- Language: English
- Year: 1971
- Author: Arend Heyting
- Language: English
- Year: 1956
- Author: Arend Heyting
- Language: English
- Year: 1956
- Author: D.M. Gabbay V.B. Shehtman and D.P. Skvortsov (Eds.)
- Language: English
- Year: 2009