- Author: Barwise J. (ed.)
- Language: English
- Year: 1977
- Author: [edited by] Haskell B. Curry J. Roger Hindley Jonathan P. Seldin.
- Language: English
- Year: 1972
- Author: H. Jerome Keisler
- Language: English
- Year: 1971
Undecidable theories
djvu
- Author: Alfred Tarski, Andrzej Mostowski, Raphael M Robinson
- Language: English
- Year: 1971
- Author: F R Drake, J K Truss (eds.)
- Language: English
- Year: 1988
- Author: Hendrik Pieter Barendregt
- Language: English
- Year: 1984
- Author: A. Heyting
- Language: English
- Year: 1971
- Author: Robert Goldblatt
- Language: English
- Year: 1984
- Author: Hendrik Pieter Barendregt
- Language: English
- Year: 1984