Ω-Bibliography of mathematical logik /
Ω-Bibliography of mathematical logik /
[Omega]-bibliography of mathematical logik
Ed. by Gert H. Muller ; In collab. with Wolfgang Lenski.
- Berlin : Springer-Verlag, 1987.
- Perspectives in mathematical logic .
Classical logic / Non-classical logics / Model Theory / Recursion theory / Set theory / Proof theory : Constructive mathematics / Edt.: Wolfgang Rautenberg ; Edt.: Wolfgang Rautenberg ; Edt.: Heinz-Dieter Ebbinghaus ; Edt.: Peter Hinman ; Edt. Andreas R. Blaass ; Edt.: Jane E. Kister ... et al. Vol. 1 (xxvii, 485 p.) : Vol. 2 (xxxvii, 469 p.) : Vol. 3 (xxxiii, 617 p.) : Vol. 4 (xxxiii, 967 p.) : Vol. 5 (1987; xxxix, 791 p.) : Vol. 6 (1987; xli, 405 p.) :
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)
Logic, symbolic and mathematical--Bibliography
Classical logic / Non-classical logics / Model Theory / Recursion theory / Set theory / Proof theory : Constructive mathematics / Edt.: Wolfgang Rautenberg ; Edt.: Wolfgang Rautenberg ; Edt.: Heinz-Dieter Ebbinghaus ; Edt.: Peter Hinman ; Edt. Andreas R. Blaass ; Edt.: Jane E. Kister ... et al. Vol. 1 (xxvii, 485 p.) : Vol. 2 (xxxvii, 469 p.) : Vol. 3 (xxxiii, 617 p.) : Vol. 4 (xxxiii, 967 p.) : Vol. 5 (1987; xxxix, 791 p.) : Vol. 6 (1987; xli, 405 p.) :
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)
Logic, symbolic and mathematical--Bibliography
All site content, except where otherwise noted, is licensed under a