Nichttheoreme: eine logische Untersuchung unter Verwendung von Tableauerzeugungen und Reduktionsklassen. - Gerd Döben (Lang, 1990)