Author: BOOLOS, GEORGE & RICHARD C. JEFFREY
Title: Computability and Logic
Description: 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 .

Keywords: 0521299675


See more books from our catalog: Mathematics