Chargement en cours…
Handbook of mathematical logic /
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 t...
| Cote: | Libro Electrónico |
|---|---|
| Autres auteurs: | , |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Amsterdam ; New York :
North-Holland Pub. Co.,
1977.
|
| Collection: | Studies in logic and the foundations of mathematics ;
v. 90. |
| Sujets: | |
| Accès en ligne: | Texto completo Texto completo Texto completo |
Table des matières:
- pt. A. Model theory
- pt. B. Set theory
- pt. C. Recursion theory
- pt. D. Proof theory and constructive mathematics.