- Author: Karel Louis de Bouvere
- Language: English
- Year: 1959
- Author: S.C. Kleene
- Language: English
- Year: 1952
- 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: B.A. GUSTAFSSON and N. Anders KLEVMARKEN (Eds.)
- Language: English
- Year: 1989
- Author: A. Heyting
- Language: English
- Year: 1971
- Author: Claude Berge
- Language: English
- Year: 1973
- Author: F.R.N. Nabarro
- Language: English
- Year: 1979
- Author: R. Bernhardt
- Language: English
- Year: 1982