Switch to: Citations

Add references

You must login to add references.
  1. Many-valued logics.J. Barkley Rosser - 1952 - Westport, Conn.: Greenwood Press. Edited by Atwell R. Turquette.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  • Mathematical logic.Joseph R. 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.
    $24.78 used   $49.54 new   $49.59 from Amazon     View on Amazon.com
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   220 citations  
  • Many-valued logic.Nicholas Rescher - 1969 - New York,: McGraw-Hill.
    $44.95 used    View on Amazon.com
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   92 citations  
  • Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) - 1980 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
    (or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations