ՀՀ Գիտությունների ազգային ակադեմիայի հիմնարար գիտական գրադարան = Fundamental Scientific Library of NAS RAΩ-Bibliography of mathematical logik / Ed. by Gert H. Muller ; In collab. with Wolfgang Lenski.
Material type:
TextLanguage: English Series: Perspectives in mathematical logicPublication details: Berlin : Springer-Verlag, 1987.ISBN: - 3540173218 (v. 1)
- 354015521X (v. 2)
- 038715521X (v. 2)
- 3540155228 (v. 3)
- 0387155228 (v. 3)
- 3540155236 (v. 4)
- 0387155236 (v. 4)
- 3540155252 (v. 5)
- 0387155252 (v. 5)
- 3540155244 (v. 6)
- 0387155244 (v. 6)
- [Omega]-bibliography of mathematical logik [Other title]
Incomplete contents:
Vol. 1 (xxvii, 485 p.) : Classical logic / Edt.: Wolfgang Rautenberg ; Vol. 2 (xxxvii, 469 p.) : Non-classical logics / Edt.: Wolfgang Rautenberg ; Vol. 3 (xxxiii, 617 p.) : Model Theory / Edt.: Heinz-Dieter Ebbinghaus ; Vol. 4 (xxxiii, 967 p.) : Recursion theory / Edt.: Peter Hinman ; Vol. 5 (1987; xxxix, 791 p.) : Set theory / Edt. Andreas R. Blaass ; Vol. 6 (1987; xli, 405 p.) : Proof theory : Constructive mathematics / Edt.: Jane E. Kister ... et al.
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Գրքեր / Books
|
Fundamental Scientific Library | Gulbenkian Individual Collection | Gulb/6905 (Browse shelf(Opens below)) | Vol. 1 | Available | ILL Non-Circ. | FL0081953 | |||||||||||
|
Գրքեր / Books
|
Fundamental Scientific Library | Gulbenkian Individual Collection | Gulb/6906 (Browse shelf(Opens below)) | Vol. 2 | Available | ILL Non-Circ. | FL0081954 | |||||||||||
|
Գրքեր / Books
|
Fundamental Scientific Library | Gulbenkian Individual Collection | Gulb/6907 (Browse shelf(Opens below)) | Vol. 3 | Available | ILL Non-Circ. | FL0081955 | |||||||||||
|
Գրքեր / Books
|
Fundamental Scientific Library | Gulbenkian Individual Collection | Gulb/6908 (Browse shelf(Opens below)) | Vol. 4 | Available | ILL Non-Circ. | FL0081956 | |||||||||||
|
Գրքեր / Books
|
Fundamental Scientific Library | Gulbenkian Individual Collection | Gulb/6909 (Browse shelf(Opens below)) | Vol. 5 | Available | ILL Non-Circ. | FL0081957 | |||||||||||
|
Գրքեր / Books
|
Fundamental Scientific Library | Gulbenkian Individual Collection | Gulb/ 6910 (Browse shelf(Opens below)) | Vol. 6 | Available | ILL Non-Circ. | FL0081958 |
Vol. 1 (xxvii, 485 p.) : Classical logic / Edt.: Wolfgang Rautenberg ; Vol. 2 (xxxvii, 469 p.) : Non-classical logics / Edt.: Wolfgang Rautenberg ; Vol. 3 (xxxiii, 617 p.) : Model Theory / Edt.: Heinz-Dieter Ebbinghaus ; Vol. 4 (xxxiii, 967 p.) : Recursion theory / Edt.: Peter Hinman ; Vol. 5 (1987; xxxix, 791 p.) : Set theory / Edt. Andreas R. Blaass ; Vol. 6 (1987; xli, 405 p.) : Proof theory : Constructive mathematics / Edt.: Jane E. Kister ... et al.
There are no comments on this title.
Log in to your account to post a comment.
All site content, except where otherwise noted, is licensed under a