BOOLOS, GEORGE & RICHARD C. JEFFREY

Computability and Logic

Cambridge: Cambridge University Press, 1980. 2nd; First Impression. Softcover. ISBN: 0521299675. Slight shelf wear. ; Slight shelf wear. 2D black and white illsurations. This book provides a comprehensive introduction to the fundamental concepts of mathematical logic and computability theory. The book covers topics such as computability, undecidability, axiomatization, definability, and Gödel’s incompleteness theorems. It is praised for its clarity and modern, elegant proofs, making complex topics accessible to students and valuable for those interested in artificial intelligence, philosophy, and theoretical computing. ; 15.1 x 22.3 x 1.7 cm; x, 285 pages. Very Good+ with no dust jacket .

Literary Cat BooksProfessional seller

Book number: LCB61887

Catalogue: Mathematics

Keywords: 0521299675

Boolos, George.

Logic, logic, and logic.

With introductions and afterword by John P. Burgess. Cambridge, MA. : Harvard University Press, 1998. Hardcover. Dustjacket. ix,443 pp. ; 24 cm. Mailorder only - Alleen verzending mogelijk. Book condition : as new. - 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. ISBN 9780674537668.

Kloof Booksellers & Scientia VerlagProfessional seller

Book number: #293035

Keywords: PHILOSOPHY, Boolos, George (1940-1996)

BOOLOS George :

Logic, Logic, and Logic. With Introductions and Afterwords by John P. Burgess. Edited by Richard Jeffrey.

.: Cambridge (MA), Harvard U.P., 1998, format in-8°, 443 pp. Fine copy of the first hardback edition with fine original dust jacket. No library markings. .

Antiquariaat Wim de GoeijProfessional seller

Book number: 56810

BOOLOS, GEORGE

Meaning and Method: Essays in Honor of Hilary Putnam

Cambridge, Cambridge University Press. 1990. (ISBN: 9780521360838). Hardcover. Used, Hardcover with jacket. Very good condition. Minor wear and slight peeling to the jacket spine head. The hardcover spine ends are a little bumped. A few faint marks on the page block. Pages are clean; all text is clear. CM. Very Good.

PsychoBabel BooksProfessional seller

Book number: 476206

Catalogue: Literature

Keywords: 9780521360838