1 option
[Omega]--bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski.
LIBRA QA9 .O47 1987 v.1-6 v.1 v.2 v.3 v.4 v.5 v.6
Available from offsite location
- Format:
- Book
- Series:
- Perspectives in mathematical logic
- Perspectives in mathematical logic.
- Language:
- English
- Multiple languages
- Subjects (All):
- Logic, Symbolic and mathematical--Bibliography.
- Logic, Symbolic and mathematical.
- Genre:
- Bibliographies.
- Physical Description:
- volumes ; 28 cm.
- Other Title:
- Bibliography of mathematical logic.
- Place of Publication:
- Berlin ; New York : Springer-Verlag, c1987-
- Contents:
- v. 1. Classical logic / Wolfgang Rautenberg, ed.
- v. 2. Non-classical logics / Wolfgang Rautenberg, ed.
- v. 3. Model theory / Heinz-Dieter Ebbinghaus, ed.
- v. 4. Recursion theory / Peter G. Hinman, ed.
- v. 5. Set theory / Andreas R. Blass, ed.
- v. 6. Proof theory ; Constructive mathematics / Jane E. Kister, Dirk van Dalen & Anne S. Troelstra, eds.
- Notes:
- Includes indexes.
- ISBN:
- 0387173218
- OCLC:
- 14966397
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.