Deutsch  Français  Nederlands 

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 .
GBP 8.00 [Appr.: EURO 9.25 US$ 10.76 | JP¥ 1586] Book number LCB61887

is offered by:


Literary Cat Books
31 Heol Maengwyn, Machynlleth, Powys, Wales, SY20 8EB, Great Britain Tel.: + 44 (0) 165 4700005
Email: literarycatbooks@live.com




  Order this book

Ask for information

Back to your search results