- Author: Kleene Stephen Cole
- Language: English
- Year: 1971
- Author: S.C. Kleene
- Language: English
- Year: 1952
- Author: C. G. Lekkerkerker N. G. De Bruijn J. De Groot and A. C. Zaanen (Auth.)
- Language: English
- Year: 1969
- Author: A. Heyting N. G. De Bruijn J. De Groot and A. C. Zaanen (Auth.)
- Language: English
- Year: 1980
- Author: S.C. Kleene
- Language: English
- Year: 1980
- Author: Kentaro Yano
- Language: English
- Year: 1957
- Author: Jun-iti Nagata
- Language: English
- Year: 1983