Choose an application

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

Provability, Computability and Reflection

Mathematical logic --- Algebraic logic --- Logique algébrique --- Algebra, Boolean --- Boole, Algèbre de --- Cylindric algebras --- Algèbres cylindriques. --- Set theory. --- Cardinal numbers. --- Arithmetic, Cardinal --- Cardinal arithmetic --- Cardinals (Numbers) --- Numbers, Cardinal --- Set theory --- Transfinite numbers --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Logic, Symbolic and mathematical --- Mathematics --- 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 --- 510.64 --- 510.64 Non-classical, formal systems of logic. Modal logic. Multiple-value logics. Syllogistics. Inductive logic. Probabilistic logic --- Non-classical, formal systems of logic. Modal logic. Multiple-value logics. Syllogistics. Inductive logic. Probabilistic logic --- Recursion theory --- 510.6 --- 510.6 Mathematical logic --- Congresses --- Axiomatic set theory --- Axioms --- Congresses. --- Proof theory --- Logique algébrique --- Théorie de la preuve --- ELSEVIER-B EPUB-LIV-FT --- Cardinal numbers --- Théorie des ensembles --- Nombres cardinaux --- Théorie de la récursivité --- Congrès --- Théorie axiomatique des ensembles --- Axiomatic set theory. --- Logique mathématique. --- Récursivité, Théorie de la. --- Recursion theory - Congresses --- Numbers, cardinals --- Théorie des ensembles --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Recursion theory - Congresses. --- Recursion theory -- Congresses. --- Physical Sciences & Mathematics --- Mathematical Theory --- Algebraic logic. --- Proof theory.