Choose an application

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

Algebraic fields --- Model theory --- Logic, Symbolic and mathematical --- Algebraic number fields --- Algebraic numbers --- Fields, Algebraic --- Algebra, Abstract --- Algebraic number theory --- Rings (Algebra) --- Algebraic fields. --- Model theory.

Choose an application

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

Independence (Mathematics) --- 510.2 --- Logic, Symbolic and mathematical --- Foundations of mathematics --- Algebra, Boolean. --- Axiomatic set theory. --- Model theory. --- Independence (Mathematics). --- 510.2 Foundations of mathematics --- Algebra, Boolean --- Axiomatic set theory --- Model theory --- Axioms --- Set theory --- Boolean algebra --- Boole's algebra --- Algebraic logic

Choose an application

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

Provability, Computability and Reflection

Nonclassical mathematical logic --- Model theory --- Computable functions --- Fonctions calculables --- Congresses --- Congrès --- -Model theory --- -Nonclassical mathematical logic --- -Mathematical logic, Nonclassical --- Non-classical mathematical logic --- Logic, Symbolic and mathematical --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Constructive mathematics --- Decidability (Mathematical logic) --- Congresses. --- -Congresses --- Congrès --- ELSEVIER-B EPUB-LIV-FT --- Mathematical logic, Nonclassical --- Logique mathématique --- Théorie des modèles --- Logique mathématique. --- Théorie des modèles. --- Logic, Symbolic and mathematical. --- Théorie des modèles --- Logique mathématique --- Nonclassical mathematical logic - Congresses --- Model theory - Congresses --- Computable functions - Congresses

Choose an application

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

Mathematical logic --- Nonstandard mathematical analysis --- Analyse mathématique non standard --- 517.1 --- Analysis, Nonstandard mathematical --- Mathematical analysis, Nonstandard --- Non-standard analysis --- Nonstandard analysis --- Model theory --- Introduction to analysis --- Nonstandard mathematical analysis. --- 517.1 Introduction to analysis --- Analyse mathématique non standard --- Espaces linéaires normés --- Normed linear spaces --- Espaces linéaires normés. --- Normed linear spaces. --- Topologie generale