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  
  • 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 mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Download  
     
    Export citation  
     
    Bookmark   232 citations  
  • Experience and Theory. An Essay in the Philosophy of Science. Stephan Körner. [REVIEW]Panayot Butchvarov - 1968 - Philosophy of Science 35 (3):292-294.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.
    Download  
     
    Export citation  
     
    Bookmark   172 citations