Choose an application

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

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

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

Choose an application

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

Provability, Computability and Reflection.

Mathematical logic

Choose an application

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

Choose an application

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

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