Kaja Bednarska (bednarska)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Bednarska, Kaja and Indrzejczak, Andrzej. 2015. “Hypersequent Calculi for S5: The Methods of Cut Elimination.” Logic and Logical Philosophy 24(3): 277–311.