George Boolos

Books by George Boolos in order

Books by George Boolos in the order they were published, from Computability and Logic (1974) to Logic, Logic, and Logic (1999).

1. 1Computability and LogicComputability and Logic1974
2. 2The Unprovability of ConsistencyThe Unprovability of Consistency1979
3. 3Meaning and MethodMeaning and Method1990
4. 4The Logic of ProvabilityThe Logic of Provability1993
5. 5Logic, Logic, and LogicLogic, Logic, and Logic1999