Abstract | Keywords | Export | Availability | Bookmark

Choose an application

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

Provability, Computability and Reflection

Mathematical logic --- Recursion theory --- Théorie de la récursivité --- Congresses --- Congrès --- ELSEVIER-B EPUB-LIV-FT --- Congresses. --- Recursive Functions --- Logic, Symbolic and mathematical --- Proof theory. --- Mathematics --- Abstract structures --- Inductive definability. --- 510.6 --- 510.67 --- Logique mathématique --- Récursivité, Théorie de la --- Mathématiques --- 510.67 Theory of models --- Theory of models --- 510.6 Mathematical logic --- Logique mathématique. --- Récursivité, Théorie de la. --- Induction (mathématiques) --- Logic, Symbolic and mathematical. --- Recursion theory. --- Induction (Logic) --- Recursive functions. --- Induction (Mathematics) --- Proof theory --- Théorie de la preuve --- Recursive functions --- Fonctions récursives --- Induction (Mathématiques) --- Mathematical induction --- Functions, Recursive --- Algorithms --- Arithmetic --- Number theory --- Decidability (Mathematical logic) --- Foundations --- 510.22 --- 510.22 Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Logique mathematique --- Theorie de la preuve --- Théorie des modèles --- Set theory --- Théorie des ensembles --- Cardinal numbers. --- Nombres cardinaux --- Logique mathématique --- Philosophy --- Philosophy & Religion --- Logic