Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
    Download  
     
    Export citation  
     
    Bookmark   408 citations  
  • (2 other versions)Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
    Download  
     
    Export citation  
     
    Bookmark   240 citations  
  • (2 other versions)Logic for Mathematicians.H. B. Enderton - 1980 - Journal of Symbolic Logic 45 (3):631-632.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)Logic for mathematicians.John Barkley Rosser - 1978 - Mineola, N.Y.: Dover Publications.
    Hailed by the Bulletin of the American Mathematical Society as "undoubtedly a major addition to the literature of mathematical logic," this volume examines the essential topics and theorems of mathematical reasoning. No background in logic is assumed, and the examples are chosen from a variety of mathematical fields. Starting with an introduction to symbolic logic, the first eight chapters develop logic through the restricted predicate calculus. Topics include the statement calculus, the use of names, an axiomatic treatment of the statement (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Type-raising operations on cardinal and ordinal numbers in Quine's "new foundations".C. Ward Henson - 1973 - Journal of Symbolic Logic 38 (1):59-68.
    Download  
     
    Export citation  
     
    Bookmark   4 citations