E-Books durchsuchen
Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth [1967]
- 7
-
Einleitung
- 9
-
Boolesche Algebren
- 16
-
Aussagenlogik
- 27
-
Praedikatenlogik
- 41
-
Der Satz von <Emphasis Type="SmallCaps">Herbrand</Emphasis> und einige Beweisprogramme
- 53
-
Unser Beweisprogramm