Knihu momentálně nemáme skladem
Parametry
Nákup knihy
Extensions of system F by iteration and primitive recursion on monotone inductive types, Ralph Matthes
- Jazyk
- Rok vydání
- 1999
Jakmile se objeví, pošleme e-mail.
Doručení
Platební metody
Nikdo zatím neohodnotil.