Metamathematics.

Godel, Escher, Bach : = an eternal golden braid / by: (Language materials, printed)

Foundations of mathematics : = questions of analysis, geometry & algorithmics / by: (Language materials, printed)

Theory of formal systems / by: (Language materials, printed)

Kurt Gödel = the genius of metamathematics / by: (Electronic resources)

Recursive functions.

Mathematical Logic and Foundations.

Metamathematics.

Symmetry.

Mathematicians- Austria

Escher, M. C.

Godel, Kurt.

History of Mathematical Sciences.

Biographies of Physicists and Astronomers.

History of Science.

Bach, Johann Sebastian,

Artificial intelligence.

History of Philosophy.