Kniha momentálne nie je na sklade
Parametre
Nákup knihy
Extensions of system F by iteration and primitive recursion on monotone inductive types, Ralph Matthes
- Jazyk
- Rok vydania
- 1999
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.