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