Ω-Bibliography of mathematical logic/
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin:
Springer Verlag,
1987
|
| Series: | Perspectives in Mathematical Logic (Springer Verlag) / R.O. Gandy, H. Hermes, A. Levy, G.H. Muller
|
| Subjects: |
Table of Contents:
- v.1. Classical logic
- v.2. Non-Classical Logics/Wolfang Rautenberg
- v.3. Model theory
- v.4. Recursion theory
- v.5. Set theory
- v.6. Proof theory. Constructive mathematics