- ホーム
- > 洋書
- > ドイツ書
- > 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.
-
- 文具・雑貨・特選品
- 臨床検査 2024年3月号 Vol.6…



