- Author: Abraham A. Fraenkel
- Language: English
- Year: 1966
- Author: Gilbert Helmberg
- Language: English
- Year: 1969
- Author: S.C. Kleene
- Language: English
- Year: 1952
- Author: J. C. Schoute
- Language: English
- Year: 1949
- Author: B. Bollobás (Eds.)
- Language: English
- Year: 1978
- Author: Bell J. and Slomson A.
- Language: English
- Year: 1969
- Author: Butterfield Jeremy, Earman John, Gabbay Dov M., Thagard Paul, Woods John
- Language: English
- Year: 2006
- Author: Arend Heyting
- Language: English
- Year: 1956
- Author: Arend Heyting
- Language: English
- Year: 1956