Switch to: Citations

Add references

You must login to add references.
  1. Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
    Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of (...)
    Download  
     
    Export citation  
     
    Bookmark   546 citations  
  • The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
    Download  
     
    Export citation  
     
    Bookmark   194 citations  
  • Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
    Download  
     
    Export citation  
     
    Bookmark   220 citations  
  • The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.
    Download  
     
    Export citation  
     
    Bookmark   96 citations  
  • Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.
    Download  
     
    Export citation  
     
    Bookmark   117 citations  
  • Review: Kurt Schutte, Beweistheorie. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.
    Download  
     
    Export citation  
     
    Bookmark   50 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   403 citations  
  • Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - Elsevier Publishing Company.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • Experience and Theory: An Essay in the Philosophy of Science.J. P. Day & Stephan Korner - 1969 - Philosophical Quarterly 19 (76):284.
    Download  
     
    Export citation  
     
    Bookmark   17 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  
  • Experience and theory.Stephan Körner - 1966 - New York,: Humanities Press.
    Originally published in 1966. This volume analyzes the general structure of scientific theories, their relation to experience and to non-scientific thought. Part One is concerned with the logic underlying empirical discourse before its subjection to the various constraints, imposed by the logico-mathematical framework of scientific theories upon their content. Part Two is devoted to an examination of this framework and, in particular, to showing that the deductive organization of a field of experience is by that very act a modification of (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations