14 found
Order:
  1. Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.
     
    Export citation  
     
    Bookmark   150 citations  
  2.  25
    Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 1974 - Cambridge, England: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
  3.  18
    Logic, Logic, and Logic.George S. Boolos & Richard C. Jeffrey - 1998 - Cambridge, MA, USA: Harvard University Press. Edited by Richard C. Jeffrey.
    George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Gödel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege's work on logic and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   53 citations  
  4. On second-order logic.George S. Boolos - 1975 - Journal of Philosophy 72 (16):509-527.
  5.  23
    Minds, Machines and Gödel.George S. Boolos - 1968 - Journal of Symbolic Logic 33 (4):613-615.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  6.  34
    Arithmetical Functions and Minimalization.George S. Boolos - 1974 - Mathematical Logic Quarterly 20 (23-24):353-354.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  1
    On Kalmar's consistency proof and a generalization of the notion of ω-consistency.George S. Boolos - 1975 - Archive for Mathematical Logic 17 (1-2):3-7.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  43
    A proof of the Löwenheim-Skolem theorem.George S. Boolos - 1970 - Notre Dame Journal of Formal Logic 11 (1):76-78.
  9.  13
    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]George S. Boolos - 1970 - Journal of Symbolic Logic 35 (4):575-576.
  10.  11
    J. R. Lucas. Minds, machines and Gödel. Philosophy, vol. 36 , pp. 112–127. - Paul Benacerraf. God, the devil, and Gödel. The Monist, vol. 51 , pp. 9–32. [REVIEW]George S. Boolos - 1969 - Journal of Symbolic Logic 33 (4):613-615.
  11.  22
    J. R. Shoenfield. The problem of predicativity. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 132–139. [REVIEW]George S. Boolos - 1969 - Journal of Symbolic Logic 34 (3):515.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  9
    Review: Andrzej Mostowski, On Various Degrees of Constructivism. [REVIEW]George S. Boolos - 1970 - Journal of Symbolic Logic 35 (4):575-576.
  13.  14
    Review: J. R. Lucas, Minds, Machines and Godel; Paul Benacerraf, God, the Devil, and Godel. [REVIEW]George S. Boolos - 1968 - Journal of Symbolic Logic 33 (4):613-615.
  14.  5
    Review: J. R. Shoenfield, The Problem of Predicativity. [REVIEW]George S. Boolos - 1969 - Journal of Symbolic Logic 34 (3):515-515.