Choose an application

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

Mathematical logic --- 515.1 --- Topology --- Set theory. --- 515.1 Topology --- Set theory --- Théorie des ensembles --- Continuity --- Continu (philosophie) --- Théorie des ensembles --- Décidabilité (logique mathématique)

Choose an application

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

Mathematical logic --- Computable functions --- Logic, Symbolic and mathematical --- Recursive functions --- Fonctions calculables --- Logique symbolique et mathématique --- Fonctions récursives --- 510.5 --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Constructive mathematics --- Decidability (Mathematical logic) --- Functions, Recursive --- Algorithms --- Arithmetic --- Number theory --- Recursion theory --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorithms. Computable functions --- Foundations --- Computable functions. --- Recursive functions. --- Logic, Symbolic and mathematical. --- 510.5 Algorithms. Computable functions --- Logique symbolique et mathématique --- Fonctions récursives --- Computer science --- Turing machines --- Informatique --- Turing, Machines de --- Logique mathématique --- Logique mathématique. --- Computer science. --- Turing machines. --- Logique mathématique --- Récursivité, Théorie de la --- Décidabilité (logique mathématique) --- Turing, Machines de. --- Informatique.