On Gödel /

Logical dilemmas : the life and work of Kurt Gödel /
by: Dawson, John W. (John William), 1944-
Published: (1997)

A logical journey : from Gödel to philosophy /
by: Wang, Hao, 1921-
Published: (1996)

Incompleteness : the proof and paradox of Kurt Gödel /
by: Goldstein, Rebecca, 1950-
Published: (2005)

A logical journey : from Gödel to philosophy /
by: Wang, Hao, 1921-
Published: (1996)

Reflections on Kurt Gödel /
by: Wang, Hao, 1921-
Published: (1987)

A logical journey : from Gödel to philosophy /
by: Wang, Hao, 1921-
Published: (1996)

Alfred Tarski : life and logic /
by: Feferman, Anita Burdman
Published: (2004)

A madman dreams of Turing machines /
by: Levin, Janna
Published: (2006)

Temporal modalities in Arabic logic.
by: Rescher, Nicholas
Published: (1967)

Polish logic, 1920-1939 /
by: McCall, Storrs
Published: (1967)

Władysław Biegański : zycie i praca /
by: Biegańska, Mieczysława
Published: (1930)

There's something about Gödel : the complete guide to the incompleteness theorem /
by: Berto, Francesco
Published: (2009)

An introduction to Gödel's Theorems /
by: Smith, Peter, 1944-
Published: (2007)

The warrior prophet /
by: Bakker, R. Scott
Published: (2005)

Kurt Godel and the foundations of mathematics : horizons of truth /
Published: (2011)

Politics, logic, and love : the life of Jean Van Heijenoort /
by: Feferman, Anita Burdman
Published: (1993)

Memoirs of a proof theorist : Gödel and other logicians /
by: Takeuti, Gaisi, 1926-2017
Published: (2003)

Logička djela Bošnjaka na arapskom jeziku /
by: Ljubović, Amir, 1945-
Published: (1996)

British rhetoricians and logicians, 1500-1660.
Published: (2003)

Gödel's disjunction : the scope and limits of mathematical knowledge /
by: Horsten, Leon, et al.
Published: (2016)

Types, tableaus, and Gödel's God /
by: Fitting, Melvin, 1942-
Published: (2002)

A world without time : the forgotten legacy of Gödel and Einstein /
by: Yourgrau, Palle
Published: (2005)

Gödel meets Einstein : time travel in the Gödel universe /
by: Yourgrau, Palle
Published: (1999)

The disappearance of time : Kurt Gödel and the idealistic tradition in philosophy /
by: Yourgrau, Palle
Published: (1991)

Kurt Gödel : collected works.
by: Gödel, Kurt
Published: (2023)

Kurt Gödel : collected works.
by: Gödel, Kurt
Published: (2023)

The Boole-De Morgan correspondence, 1842-1864 /
by: Boole, George, 1815-1864
Published: (1982)

Gödel's incompleteness theorems /
by: Smullyan, Raymond M.
Published: (2020)

Musil, Gödel, Wittgenstein und das Unendliche : [Vortrag im Prunksaal der Österreichischen Nationalbibliothek am 7. Mai 2002] /
by: Taschner, Rudolf, 1953-
Published: (2002)

Foundations of mathematics. : Symposium papers commemorating the sixtieth birthday of Kurt Godel /
Published: (1969)

After Gödel : Platonism and rationalism in mathematics and logic /
by: Tieszen, Richard L., 1951-2017
Published: (2011)

The logician and the engineer : how George Boole and Claude Shannon created the information age /
by: Nahin, Paul J.
Published: (2012)

Gödel's proof /
by: Nagel, Ernest, 1901-1985
Published: (2001)

Gödel, Escher, Bach : an eternal golden braid /
by: Hofstadter, Douglas R., 1945-
Published: (1999)

Godel, Escher, Bach : an eternal golden braid /
by: Hofstadter, Douglas R., 1945-
Published: (1979)

Godel, Escher, Bach : an eternal golden braid /
by: Hofstadter, Douglas R., 1945-
Published: (1980)