Proof theory for admissible rules

Rosalie Iemhoff, George Metcalfe. Proof theory for admissible rules. Annals of Pure and Applied Logic, 159(1-2):171-186, 2009. [doi]

Authors

Rosalie Iemhoff

This author has not been identified. Look up 'Rosalie Iemhoff' in Google

George Metcalfe

This author has not been identified. Look up 'George Metcalfe' in Google