Listing 1 - 10 of 23 | << page >> |
Sort by
|
Choose an application
Provability, Computability and Reflection
Mathematical logic --- Infinitary languages. --- Model theory. --- Infinitary languages --- Model theory --- Langages infinitaires --- Théorie des modèles --- ELSEVIER-B EPUB-LIV-FT --- Logic, Symbolic and mathematical --- Languages, Infinitary --- 510.67 --- 510.67 Theory of models --- Theory of models --- Logique mathématique
Choose an application
Calculus --- 517.1 --- Analysis (Mathematics) --- Fluxions (Mathematics) --- Infinitesimal calculus --- Limits (Mathematics) --- Mathematical analysis --- Functions --- Geometry, Infinitesimal --- Introduction to analysis --- Calculus. --- 517.1 Introduction to analysis
Choose an application
Choose an application
Choose an application
Choose an application
Provability, Computability and Reflection.
Choose an application
Choose an application
Choose an application
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
The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own.
Mathematical logic --- Logic, Symbolic and mathematical. --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical --- 510.6 --- 510.6 Mathematical logic --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- #TCPW W1.0 --- #TCPW W1.2 --- Logique symbolique et mathématique --- Logique mathématique --- Théorie des modèles --- Théorie des ensembles --- Logique mathematique --- Theorie de la preuve
Listing 1 - 10 of 23 | << page >> |
Sort by
|