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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Burlington :
Elsevier,
1989.
|
| Series: | Studies in logic and the foundations of mathematics.
|
| Subjects: | |
| Online Access: |
Full text (Emmanuel users only) |