Ω-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 .
<br/><br/> 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.) : 
<br/><br/><label>ISBN: </label>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) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, symbolic and mathematical--Bibliography