5 works on record
Logic, logic, and logic
1998
The Logic of provability
1993
Meaning and Method
1990
The unprovability of consistency
1979
Computability and logic
1974