Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Logic, Logic and Logic

Logic, Logic and Logic

George Boolos
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
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.
Année:
1998
Editeur::
Harvard University Press
Langue:
english
Pages:
444
ISBN 10:
0674537661
ISBN 13:
9780674537668
Fichier:
PDF, 38.13 MB
IPFS:
CID , CID Blake2b
english, 1998
Télécharger (pdf, 38.13 MB)
La conversion en est effectuée
La conversion en a échoué

Mots Clefs