Switch to: Citations

Add references

You must login to add references.
  1. Introduction to mathematical logic.Hans Hermes - 1973 - New York,: Springer Verlag.
    This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics; however, classical logic is a good introduction to logic because of its simplicity, and a good basis for applications because it is the foundation of classical mathematics, and thus of the exact sciences which are based on it. The book is meant primarily for (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Introduction to Model Theory and the Metamathematics of Algebra.Abraham Robinson - 1963 - Journal of Symbolic Logic 29 (1):56-56.
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • (2 other versions)Introduction to Mathematical Logic.Don Pigozzi - 1980 - Journal of Symbolic Logic 45 (1):187-188.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Thirty years of foundational studies.Andrzej Mostowski - 1966 - New York,: Barnes & Noble.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Mathematical logic.Joseph Robert Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
    8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index.
    Download  
     
    Export citation  
     
    Bookmark   222 citations  
  • (2 other versions)Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
    Download  
     
    Export citation  
     
    Bookmark   240 citations  
  • Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - Elsevier Publishing Company.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • Review: H. Jerome Keisler, Model Theory. [REVIEW]C. C. Chang - 1973 - Journal of Symbolic Logic 38 (4):648-648.
    Download  
     
    Export citation  
     
    Bookmark   36 citations