Kosta Došen

Kosta Došen

2 ספרים במאגר

ספרים

Substructural logicsKosta Došen

Substructural logics

Kosta Došen · 1994

Proof-net categoriesKosta Došen

Proof-net categories

Kosta Došen · 2007