Knihobot
Knihu momentálně nemáme skladem

Extensions of system F by iteration and primitive recursion on monotone inductive types

Autoři

Parametry

ISBN
9783896755780
Nakladatelství
Utz, Wiss.

Kategorie

Varianta knihy

1999

Nákup knihy

Kniha aktuálně není skladem.