Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Computability and logicComputability and logic

Computability and logic1974

George Boolos, George S. Boolos, Richard C. Jeffrey, John P. Burgess

Details

First published
1974
OL Work ID
OL2721474W

Subjects

Computable functionsLogic, Symbolic and mathematicalRecursive functionsSymbolic and mathematical LogicMathematical foundationsPhilosophyGeneralPhilosophy / LogicMathematical logicMathematicsScience/MathematicsLogic

Find this book

Open Library
Book data from Open Library. Cover images courtesy of Open Library.