Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth
| Autor: | Fenske, Christian |
|---|---|
| ISBN: | 9783322961181 |
| Sprache: | Deutsch |
| Seitenzahl: | 74 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Fenske, Christian |
| Verlag: | VS Verlag für Sozialwissenschaften |
| Veröffentlicht: | 01.01.1967 |
| Schlagworte: | Algebra Aussagenlogik Beweis Logik Prädikatenlogik |
Anmelden