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   549 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   401 citations  
  • The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
    Download  
     
    Export citation  
     
    Bookmark   194 citations  
  • (2 other versions)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  
  • Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - Elsevier Publishing Company.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • (2 other versions)Review: Kurt Schutte, Beweistheorie. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.
    Download  
     
    Export citation  
     
    Bookmark   53 citations