Choose an application

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

Mathematical logic --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Logic, Symbolic and mathematical. --- Logic, symbolic and mathematical --- 510.6 --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- 510.6 Mathematical logic --- Logique symbolique et mathématique

Choose an application

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

Provability, Computability and Reflection

Mathematics --- Mathématiques --- Philosophy --- Philosophie --- EPUB-LIV-FT ELSEVIER-B --- Logic of mathematics --- Mathematics, Logic of --- Philosophy.

Choose an application

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

Basic Sciences. Mathematics --- Algebra.

Choose an application

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

Social Sciences and Humanities. Philosophy --- Systematics of Philosophy --- Philosophy of Science.

Choose an application

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