- Author: Bristol Eng. 1973. Logic Colloquium
- Language: English
- Year: 1975
- Author: R.O. Gandy J.M.E. Hyland (eds.)
- Language: English
- Year: 1977
Lincos, Part I
pdf
- Author: Dr. Hans Freudenthal
- Language: English
- Year: 1960
- Author: J. van Benthem
- Language: English
- Year: 1991
- Author: Carol R. Karp
- Language: English
- Year: 1964
- Author: M. A Dickmann
- Language: English
- Year: 1975
- Author: Abraham Robinson
- Language: English
- Author: Natan Efimovich Kobrinskii
- Language: English
- Year: 1965
- Author: A.Kino J.Myhill R.E.Vesley (eds.)
- Language: English
- Year: 1970
- Author: A. Heyting
- Language: English
- Year: 1956