TY  - BOOK
AU  - Muller,Gert H.
AU  - Lenski,Wolfgang
TI  - Ω-Bibliography of mathematical logik
SN  - 3540173218 (v. 1)
PY  - 1987///
CY  - Berlin
PB  - Springer-Verlag
KW  - Logic, symbolic and mathematical
KW  - Bibliography
N1  - 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
ER  -