Logic, Logic, and Logic

Logic, Logic, and Logic
Author: George Boolos
Publisher: Harvard University Press
Total Pages: 458
Release: 1998
Genre: Mathematics
ISBN: 9780674537675


Download Logic, Logic, and Logic Book in PDF, Epub and Kindle

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 the philosophy of mathematics. John Burgess has provided introductions to each of the three parts of the volume, and also an afterword on Boolos's technical work in provability logic, which is beyond the scope of this volume.


Logic, Logic, and Logic
Language: en
Pages: 458
Authors: George Boolos
Categories: Mathematics
Type: BOOK - Published: 1998 - Publisher: Harvard University Press

GET EBOOK

George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly
Philosophy of Logic
Language: en
Pages: 1218
Authors:
Categories: Mathematics
Type: BOOK - Published: 2006-11-29 - Publisher: Elsevier

GET EBOOK

The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and
An Introduction to Mathematical Logic
Language: en
Pages: 514
Authors: Richard E. Hodel
Categories: Mathematics
Type: BOOK - Published: 2013-01-01 - Publisher: Courier Corporation

GET EBOOK

This comprehensive overview ofmathematical logic is designedprimarily for advanced undergraduatesand graduate studentsof mathematics. The treatmentalso contains
Computability and Logic
Language: en
Pages: 365
Authors: George S. Boolos
Categories: Computers
Type: BOOK - Published: 2007-09-17 - Publisher: Cambridge University Press

GET EBOOK

This fifth edition of 'Computability and Logic' covers not just the staple topics of an intermediate logic course such as Godel's incompleteness theorems, but a
Forever Undecided
Language: en
Pages: 286
Authors: Raymond M. Smullyan
Categories: Mathematics
Type: BOOK - Published: 2012-07-04 - Publisher: Knopf

GET EBOOK

Forever Undecided is the most challenging yet of Raymond Smullyan’s puzzle collections. It is, at the same time, an introduction—ingenious, instructive, ent