Aus dem Inhalt: Ausführliche Einleitung - Sprache 1. Stufe - Baumerzeugung - Tableauerzeugung - Tableauerzeugung und logische Semantik - Nichttheoreme - Reduktionsklassen - Folgerungsrelevante syntaktische Eigenschaften von Formeln. przeczytaj całość