George Boolos · 7 obras en el catálogoObrasMeaning and methodLogic, Logic, and LogicLogic, logic, and logic1998Meaning and Method1990The unprovability of consistency1979The Logic of provability1993Computability and logic1974