TY - BOOK AU - Dalen Dirk van AU - Kister J E AU - Muller G H ED - Troelstra A S ;.ed TI - (Omega)-Bibliography of mathematical logic: proof theory : constructive mathematics U1 - 016.5101 PY - 1987/// CY - Berlin PB - Springer-Verlag KW - Bibliography KW - Constructive mathematics KW - Mathematical logic KW - Proof theory ER -