K. Dosen

K. Dosen

2 books in the database

Books

Cut Elimination in CategoriesK. Dosen

Cut Elimination in Categories

K. Dosen · 2013

Cut Elimination in Categories (Trends in Logic)K. Dosen

Cut Elimination in Categories (Trends in Logic)

K. Dosen · 1899