Fundamental Scientific Library of NAS RA

Ω-Bibliography of mathematical logik / Ed. by Gert H. Muller ; In collab. with Wolfgang Lenski.

Contributor(s): Material type: TextTextLanguage: 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)
Other title:
  • [Omega]-bibliography of mathematical logik [Other title]
Subject(s):
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Vol info Status Notes Date due Barcode
Գրքեր/Books Գրքեր/Books Fundamental Scientific Library Gulbenkian Individual Collection Gulb/6905 (Browse shelf(Opens below)) Vol. 1 Available ILL Non-Circ. FL0081953
Գրքեր/Books Գրքեր/Books Fundamental Scientific Library Gulbenkian Individual Collection Gulb/6906 (Browse shelf(Opens below)) Vol. 2 Available ILL Non-Circ. FL0081954
Գրքեր/Books Գրքեր/Books Fundamental Scientific Library Gulbenkian Individual Collection Gulb/6907 (Browse shelf(Opens below)) Vol. 3 Available ILL Non-Circ. FL0081955
Գրքեր/Books Գրքեր/Books Fundamental Scientific Library Gulbenkian Individual Collection Gulb/6908 (Browse shelf(Opens below)) Vol. 4 Available ILL Non-Circ. FL0081956
Գրքեր/Books Գրքեր/Books Fundamental Scientific Library Gulbenkian Individual Collection Gulb/6909 (Browse shelf(Opens below)) Vol. 5 Available ILL Non-Circ. FL0081957
Գրքեր/Books Գրքեր/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.

to post a comment.


ՀՀ ԳԱԱ հիմնարար գիտական գրադարան
ՀՀ,Երևան 0019
Մարշալ Բաղրամյան 24/6
հեռախոս:(374-10) 52-47-50
Հետադարձ կապ

All site content, except where otherwise noted, is licensed under a
Creative Commons License