Godel's theorem.

Godel's theorems and Zermelo's axiomsa firm foundation of mathematics / by: (Electronic resources)

Kurt Godelthe Princeton lectures on intuitionism / by: (Electronic resources)

The theory of Gödel by: (Electronic resources)

Godel's theorem.

Mathematical Logic and Foundations.

Logic.

Logic, Symbolic and mathematical.

Set theory.

History of Mathematical Sciences.

History of Philosophy.