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ä
11.10.2026