(Omega)-Bibliography of mathematical logic proof theory : constructive mathematics - Troelstra A S ;.ed; Dalen Dirk van; Kister J E; Muller G H (Berlin Springer-Verlag, 1987)
Keywords: Bibliography; Constructive mathematics; Mathematical logic; Proof theory