Volume 14, 1953
Additional Volume and Contributions to the Symposium on Logic
G. Kreisel
Pages 39-49
Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II
Cited by
- V. A. Uspensky, A. L. Semenov. Algorithms in Modern Mathematics and Computer Science 1981: 100. [CrossRef]
- Jaakko Hintikka. The Game of Language 1983: 1. [CrossRef]
- Walter DEAN. Annals of the Japan Association for Philosophy of Science. Bernays and the Completeness Theorem 2017. [CrossRef]
- Foundations of Set Theory 1958: 349. [CrossRef]
- G. Kreisel. Mathematical Interpretation of Formal Systems 1955: 26. [CrossRef]
- Computability, Complexity, Logic 1989: 528. [CrossRef]
- A. Mostowski. Foundational Studies - Selected Works 1979: 259. [CrossRef]
- The Theory of Models 2014: 442. [CrossRef]