Discover / Book
Computability and logic
George Boolos, Richard C. Jeffrey, George S. Boolos, John P. Burgess · 1974 · 304 pages
Computable functionsLogic, Symbolic and mathematicalRecursive functionsSymbolic and mathematical LogicMathematical foundationsPhilosophy
As an Amazon Associate we earn from qualifying purchases. Some book links are affiliate links; you pay the same price and we may earn a small commission.
Appears in these reading paths
The Best Books to Learn Mathematical Logic, In Order
Beginner8books61 hrs5 stages
Related reading guides
Reader reviews
Ratings and notes from readers — tagged with how deep into the subject they were.
Loading reviews…