Solomon Feferman

Kurt Gödel - Collected Works

2014

ALFRED TARSKI: LIFE AND LOGIC

2004

In the light of logic

1998

Kurt Godel Collected Works, 19

Kurt Godel Collected Works, 1929-1936

1986