Siirry suoraan sisältöön
Automatisierte Logik
Tallenna

Automatisierte Logik

Alaotsikko
Eine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie
ISBN
9783662734100
Kieli
saksa
Paino
310 grammaa
Julkaisupäivä
27.7.2026
Sivumäärä
270