Choose an application

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

Mathematical logic --- 510.64 --- Non-classical, formal systems of logic. Modal logic. Multiple-value logics. Syllogistics. Inductive logic. Probabilistic logic --- 510.64 Non-classical, formal systems of logic. Modal logic. Multiple-value logics. Syllogistics. Inductive logic. Probabilistic logic

Choose an application

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

Mathematical logic --- Discrete mathematics --- Combinatory logic --- Logique combinatoire --- 510.64 --- Logic, Combinatory --- Logic, Symbolic and mathematical --- Nonclassical mathematical logic --- Non-classical, formal systems of logic. Modal logic. Multiple-value logics. Syllogistics. Inductive logic. Probabilistic logic --- 510.64 Non-classical, formal systems of logic. Modal logic. Multiple-value logics. Syllogistics. Inductive logic. Probabilistic logic --- Logique mathématique

Choose an application

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

Mathematicians --- Mathematics --- Intuitionistic mathematics. --- Biography. --- Philosophy. --- 510.64 --- 51 BROUWER, LUITZEN EGBERTUS JAN --- Intuitionistic mathematics --- -Mathematics --- -Constructive mathematics --- Scientists --- Math --- Science --- Non-classical, formal systems of logic. Modal logic. Multiple-value logics. Syllogistics. Inductive logic. Probabilistic logic --- Mathematics--BROUWER, LUITZEN EGBERTUS JAN --- Biography --- Philosophy --- Brouwer, L. E. J. --- -Non-classical, formal systems of logic. Modal logic. Multiple-value logics. Syllogistics. Inductive logic. Probabilistic logic --- 51 BROUWER, LUITZEN EGBERTUS JAN Mathematics--BROUWER, LUITZEN EGBERTUS JAN --- 510.64 Non-classical, formal systems of logic. Modal logic. Multiple-value logics. Syllogistics. Inductive logic. Probabilistic logic --- Brouwer, Luitzen Egbertus Jan --- -510.64 Non-classical, formal systems of logic. Modal logic. Multiple-value logics. Syllogistics. Inductive logic. Probabilistic logic --- Constructive mathematics --- Logic of mathematics --- Mathematics, Logic of --- Brouwer, Luitzen Egbertus Jan, --- Brouwer, Bertus, --- Mathematicians - Netherlands - Biography. --- Mathematics - Philosophy.

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.