Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Metcalfe, George
Volume
Title
274
Proof theory for admissible rules
Iemhoff, Rosalie
|
Metcalfe, George
270
Hypersequent systems for the admissible rules of modal and intermediate logics
Iemhoff, Rosalie
|
Metcalfe, George
250
Proof theory for admissible rules
Iemhoff, Rosalie
|
Metcalfe, George
Online
