Proceedings of the XIth International Congress of Philosophy

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]
There may be additional citations on Google Scholar.