LC CutterNumber :
.M26,O47
Title :
[Omega]--bibliography of mathematical logic
Author Statement :
edited by Gert H. Muller in collaboration with Wolfgang Lenski
Publication :
Springer-Verlag
Publication Year :
c1987-
Collation :
v. <1-6 >; 28 cm
Series :
Perspectives in mathematical logic
Contents :
v. 1. Classical logic -- v. 2. Non-classical logics -- v. 3. Model theory -- v. 4. Recursion theory -- v. 5. Set theory -- v. 6. Proof theory ; Constructive mathematics
Subject :
Logic, Symbolic and mathematical- Bibliography
ADDED ENTRIES :
Muller, G. H,Title: Bibliography of mathematical logic
Holding Info. :
0387173218,0387173218
