booktheque

K. Dosen

2 ספרים במאגר

ספרים

Cut Elimination in Categories
K. Dosen · 2013
Cut Elimination in Categories (Trends in Logic)
K. Dosen · 1899