Ω-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, 1987ISBN: 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)Other title: [Omega]-bibliography of mathematical logik [Other title]Subject(s): Logic, symbolic and mathematical -- BibliographyItem type | Current library | Collection | Call number | Vol info | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Գրքեր/Books | Fundamental Scientific Library | Gulbenkian Individual Collection | Gulb/ 6910 (Browse shelf(Opens below)) | Vol. 6 | Available | ILL Non-Circ. | FL0081958 | |
Գրքեր/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/6908 (Browse shelf(Opens below)) | Vol. 4 | Available | ILL Non-Circ. | FL0081956 | |
Գրքեր/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/6906 (Browse shelf(Opens below)) | Vol. 2 | Available | ILL Non-Circ. | FL0081954 | |
Գրքեր/Books | Fundamental Scientific Library | Gulbenkian Individual Collection | Gulb/6905 (Browse shelf(Opens below)) | Vol. 1 | Available | ILL Non-Circ. | FL0081953 |
Browsing Fundamental Scientific Library shelves, Collection: Gulbenkian Individual Collection Close shelf browser (Hides shelf browser)
75.056(479.25) Armenian miniature paintings / | 755(47)(09)(084) USSR : Early Russian icons / | 929:954.0Gandhi An autobiography or the story of my experiments with truth / | Gulb/ 6910 Ω-Bibliography of mathematical logik / | Gulb/ 977 Պատմութիւն չորից ինքնակալութեանց / | Gulb/1 Indications and techniques in arterial surgery / | Gulb/10 Growth and maturation of the brain / |
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.