- ホーム
- > 洋書
- > ドイツ書
- > Mathematics, Sciences & Technology
- > Mathematics
- > basics
Contents
Aussagenlogik.- Prädikatenlogik.- Der Gödelsche Vollständigkeitssatz.- Grundlagen der Logikprogrammierung.- Elemente der Modelltheorie.- Unvollständigkeit und Unentscheidbarkeit.- Zur Theorie der Selbstreferenz.



