Logic, Logic, and Logic - Brossura

Boolos, George

Brossura

ISBN 10: 067453767X ISBN 13: 9780674537675

Casa editrice: Harvard University Press, 1999

Riassunto

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 Gdel 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.

Su questo libro

L'autore

George Boolos was Professor of Philosophy, Massachusetts Institute of Technology.

Product Description

George Boolos is viewed by many as one of the influential logician-philosopher of the 20th century. This collection 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 Godel theormes.

Dettagli dell'edizione

• Editore: Harvard University Press
• Data di pubblicazione: 1999
• Lingua: Inglese
• ISBN 10: 067453767X
• ISBN 13: 9780674537675
• Rilegatura: Copertina flessibile
• Numero di pagine: 454
• Redattore: Burgess
• Contatto del produttore: non disponibile
• Persona responsabile: Amazon EU Sarl; 0; www.amazon.com; ; 38 Avenue John F. Kennedy; Luxembourg; 0; L-1855; Lussemburgo