K. Dosen

Cut Elimination in Categories - 1999 - Springer Netherlands 1999 - Trends in Logic .

9789401712071


Mathematics and Statistics