Switch to: Citations

Add references

You must login to add references.
  1. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.
    Download  
     
    Export citation  
     
    Bookmark   250 citations  
  • Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
    I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...
    Download  
     
    Export citation  
     
    Bookmark   400 citations  
  • The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.
    Download  
     
    Export citation  
     
    Bookmark   597 citations  
  • (1 other version)Déterminisme et indéterminisme.[author unknown] - 1956 - British Journal for the Philosophy of Science 7 (27):270-270.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Foundations of Physics.M. BUNGE - 1967
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.
    Download  
     
    Export citation  
     
    Bookmark   117 citations  
  • (2 other versions)Introduction to Semantics.C. H. Langford - 1943 - Journal of Symbolic Logic 8 (1):36-37.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Cylindric Algebras.Leon Henkin & Alfred Tarski - 1967 - Journal of Symbolic Logic 32 (3):415-416.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Introduction to Semantics.Rudolf Carnap - 1942 - Cambridge: Harvard University Press.
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  • Cylindric algebras.Leon Henkin - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by J. Donald Monk & Alfred Tarski.
    Volume I provides a detailed analysis of cylindric algebras, starting with a formulation of their axioms and a development of their elementary properties, and proceeding to a deeper study of their interrelationships by means of general algebraic notions such as subalgebras, homomorphisms, direct products, free algebras, reducts and relativized algebras.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • On Formally Undectdable Propositions of Principia Mathematica and Related Systems.B. Meltzer - 1965 - Journal of Symbolic Logic 30 (3):357-359.
    Download  
     
    Export citation  
     
    Bookmark   4 citations