Cut elimination in adjunction

Bulletin of the Section of Logic, Tom 28, Numer 2 (1999) s. 61-73
Kosta Dosen

 

do góry