TY - BOOK AU - Muller G H AU - Rautenberg Wolfgang TI - (Omega)-Bibliography of mathematical logic: non-classical logic U1 - 016.5101 PY - 1987/// CY - Berlin PB - Springer-Verlag KW - Bibliography KW - Non-classical logic ER -