with contributions by Hans de Nivelle, Manfred Kerber and Michael Kohlhase, Gernot Salzer, Jan Krajícek, Pavel Pudlák, Alessandra Carbone, Iain A. Stewart, Rudolf Freund and Ludwig Staiger.
Springer-Verlag Wien, New York. 1996, ISBN 3-211-82796-X
with contributions by Hans de Nivelle, Manfred Kerber and Michael Kohlhase, Gernot Salzer, Jan Krajícek, Pavel Pudlák, Alessandra Carbone, Iain A. Stewart, Rudolf Freund and Ludwig Staiger.
Springer-Verlag Wien, New York. 1996, ISBN 3-211-82796-X