Knihu momentálně nemáme skladem

Ein tableaubasierter Theorembeweiser für die intuitionistische Logik

Autoři

Oliver Bittel

Parametry

ISBN: 9783486221435
Nakladatelství: Oldenbourg

Kategorie

Navrhnout úpravu

Varianta knihy

1991

Nákup knihy

Kniha aktuálně není skladem.