Choose an application

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

This book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.

Mathematical logic --- Logique mathématique --- Décidabilité (logique mathématique) --- Logic, Symbolic and mathematical. --- Decidability (Mathematical logic) --- Logique mathématique. --- Decidability (Mathematical logic). --- Logic, Symbolic and mathematical --- Computable functions --- Gödel's theorem --- Recursive functions --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic [Symbolic and mathematical ] --- Logique mathématique. --- Décidabilité (logique mathématique)