A formalization of the Naive type theoryAgnieszka Kozubek-Krycuń
A formalization of the Naive type theory
1 biblioteka1 wydanie · 2011
O książce
- Lata wydań
- 2011
- Liczba wydań
- 1
- Języki
- angielski
- Rodzaj
- książka
Dostępna w 1 bibliotece: Biblioteka Wydziału Matematyki, Informatyki i Mechaniki (Warszawa)