The George Boolos Memorial Symposium
The Logic of Provability
The Unprovability of Consistency
Papers
Computability and Logic
Computability and Logic
On Second-order Logic
Computability and Logic
Philosophy of Mathematics
Three Logico-philosophical Studies
To be is to be a Value of a Variable (or to be Some Values of Some Variables)
A Simple Proof of Gödel's First Incompleteness Theorem
Computability and Logic
Junior Independent Work, 1959-1960
The Unprovability of Consistency
The hierarchy of constructible sets of integers
Mémoires de ma vie morte
Albert Nobbs
Life Can be Beautiful... Believe Me!