thon-buch

Theorem Proving in Higher Order Logics

Springer-Verlag GmbH
(517 Seiten)
Sofort lieferbar
Versandkostenfrei in Deutschland
106,99*