Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The collected works of Kurt Gödel is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy.

Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Gödel, Kurt