Knihu momentálně nemáme skladem

Theorem proving in higher order logics

Autoři

Victor A. Carreño

Parametry

ISBN: 9783540440390
Nakladatelství: Springer

Kategorie

Navrhnout úpravu

Varianta knihy

2002

Nákup knihy

Kniha aktuálně není skladem.