Computability and Logic
Computability and Logic
First published 1974 · 304 pages · about 5 hours to read
Also as Kindle · AudiobookFind in a library
Books like Computability and Logic
More by George Boolos
- Logic, Logic, and LogicLogic, Logic, and Logic1999
- The Logic of ProvabilityThe Logic of Provability1993
- Meaning and MethodMeaning and Method1990
- The Unprovability of ConsistencyThe Unprovability of Consistency1979