Handbook of mathematical logic / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.].
Saved in:
| Superior document: | Studies in logic and the foundations of mathematics ; v. 90 |
|---|---|
| : | |
| TeilnehmendeR: | |
| Year of Publication: | 1977 |
| Language: | English |
| Series: | Studies in logic and the foundations of mathematics ;
v. 90. |
| Online Access: | |
| Physical Description: | xi, 1165 p. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- pt. A. Model theory
- pt. B. Set theory
- pt. C. Recursion theory
- pt. D. Proof theory and constructive mathematics.