Loading…
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...
| Call Number: | Libro Electrónico |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Amsterdam ; New York :
North-Holland Pub. Co.,
1977.
|
| Series: | Studies in logic and the foundations of mathematics ;
v. 90. |
| Subjects: | |
| Online Access: | Texto completo Texto completo Texto completo |
Table of Contents:
- pt. A. Model theory
- pt. B. Set theory
- pt. C. Recursion theory
- pt. D. Proof theory and constructive mathematics.