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   547 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  
  • (2 other versions)Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
    Download  
     
    Export citation  
     
    Bookmark   170 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  
  • (1 other version)Lattice Theory.Garrett Birkhoff - 1950 - Journal of Symbolic Logic 15 (1):59-60.
    Download  
     
    Export citation  
     
    Bookmark   112 citations  
  • (2 other versions)An Algebraic Approach to Non-Classical Logics.Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  • (1 other version)Aristotle’s Physics.W. D. Ross - 1936 - Philosophy 11 (43):352-354.
    Download  
     
    Export citation  
     
    Bookmark   86 citations  
  • (1 other version)Aristotle's Physics.W. D. Ross - 1936 - Mind 45 (179):378-383.
    Download  
     
    Export citation  
     
    Bookmark   81 citations  
  • Universal Algebra.George Grätzer - 1982 - Studia Logica 41 (4):430-431.
    Download  
     
    Export citation  
     
    Bookmark   105 citations  
  • (1 other version)Lattice Theory.Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (4):155-157.
    Download  
     
    Export citation  
     
    Bookmark   193 citations  
  • (1 other version)George Grätzer. Universal algebra. Second edition, with new appendices and additional bibliography, of XXXVIII 643. Springer-Verlag, New York, Heidelberg, and Berlin, 1979, xviii + 581 pp. - George Grätzer. Appendix 1. General survey. Therein, pp. 331–34. - George Grätzer. Appendix 2. The problems. Therein, pp. 342–347. [REVIEW]Heinrich Werner - 1982 - Journal of Symbolic Logic 47 (2):450-451.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • (1 other version)The Principles of Mathematics. [REVIEW]E. N. - 1938 - Journal of Philosophy 35 (7):191-192.
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  • (2 other versions)The Principles of Mathematics.Bertrand Russell & Susanne K. Langer - 1938 - Philosophy 13 (52):481-483.
    Download  
     
    Export citation  
     
    Bookmark   160 citations  
  • (1 other version)Aristotle's Physics. [REVIEW]R. S. - 1936 - Journal of Philosophy 33 (9):246-247.
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
    Provability, Computability and Reflection.
    Download  
     
    Export citation  
     
    Bookmark   229 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  
  • Universal Algebra.P. M. Cohn - 1969 - Journal of Symbolic Logic 34 (1):113-114.
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • (1 other version)George Grätzer. Universal algebra. D. Van Nostrand Company, Inc., Princeton etc. 1968, xvi + 368 pp. [REVIEW]Kirby A. Baker - 1973 - Journal of Symbolic Logic 38 (4):643-644.
    Download  
     
    Export citation  
     
    Bookmark   44 citations