George Boolos

Les livres de George Boolos dans l'ordre

Les livres de George Boolos dans l'ordre de parution, de Computability and Logic (1974) à 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