16 found
Order:
  1. George S. Boolos (1975). On Second-Order Logic. Journal of Philosophy 72 (16):509-527.
  2. George S. Boolos (2010). The Logic of Provability. Cambridge University Press.
    This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency. Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention. Modal logic is concerned with the notions of necessity and possibility. What George Boolos does (...)
     
    Export citation  
     
    My bibliography   3 citations  
  3.  6
    George S. Boolos (1974). Arithmetical Functions and Minimalization. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (23‐24):353-354.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4.  22
    George S. Boolos (1970). A Proof of the Löwenheim-Skolem Theorem. Notre Dame Journal of Formal Logic 11 (1):76-78.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5.  37
    George S. Boolos (ed.) (1990). Meaning and Method: Essays in Honor of Hilary Putnam. Cambridge University Press.
  6.  5
    George S. Boolos (1968). Review: J. R. Lucas, Minds, Machines and Godel; Paul Benacerraf, God, the Devil, and Godel. [REVIEW] Journal of Symbolic Logic 33 (4):613-615.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  2
    George S. Boolos (1969). Review: J. R. Shoenfield, The Problem of Predicativity. [REVIEW] Journal of Symbolic Logic 34 (3):515-515.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. George S. Boolos, John P. Burgess & Richard C. Jeffrey (2005). Computability and Logic. Cambridge University Press.
    This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer science as well. This book has become a classic because of its accessibility to students without a mathematical background, and because it covers not simply the staple topics of an intermediate logic course such as Godel's Incompleteness Theorems, (...)
    No categories
     
    Export citation  
     
    My bibliography  
  9. George S. Boolos, John P. Burgess & Richard C. Jeffrey (2008). Computability and Logic. Cambridge University Press.
    Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a (...)
    No categories
     
    Export citation  
     
    My bibliography  
  10. George S. Boolos, John P. Burgess & Richard C. Jeffrey (2012). Computability and Logic. Cambridge University Press.
    Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a (...)
    No categories
     
    Export citation  
     
    My bibliography  
  11. George S. Boolos, John P. Burgess & Richard C. Jeffrey (2007). Computability and Logic. Cambridge University Press.
    Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a (...)
    No categories
     
    Export citation  
     
    My bibliography  
  12. George S. Boolos (1969). Lucas J. R.. Minds, Machines and Gödel. Philosophy, Vol. 36 , Pp. 112–127.Benacerraf Paul. God, the Devil, and Gödel. The Monist, Vol. 51 , Pp. 9–32. [REVIEW] Journal of Symbolic Logic 33 (4):613-615.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. George S. Boolos (1970). Mostowski Andrzej. On Various Degrees of Constructivism. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 178–194. [REVIEW] Journal of Symbolic Logic 35 (4):575-576.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. George S. Boolos (1970). Review: Andrzej Mostowski, On Various Degrees of Constructivism. [REVIEW] Journal of Symbolic Logic 35 (4):575-576.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. George S. Boolos (1969). Shoenfield J. R.. The Problem of Predicativity. Essays on the Foundations of Mathematics, Dedicated to A. A. Fraenkel on His Seventieth Anniversary, Edited by Bar-Hillel Y., Poznanski E. I. J., Rabin M. O., and Robinson A. For The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, Pp. 132–139. [REVIEW] Journal of Symbolic Logic 34 (3):515.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16. George S. Boolos (2011). The Logic of Provability. Cambridge University Press.
    This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency. Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention. Modal logic is concerned with the notions of necessity and possibility. What George Boolos does (...)
     
    Export citation  
     
    My bibliography