A Proof-theoretical Analysis of Semiconstructive Intermediate Theories.

Mauro Ferrari Camillo Fiorentini A Proof-theoretical Analysis of Semiconstructive Intermediate Theories. 21-49 2003 73 Studia Logica 1 db/journals/sLogica/sLogica73.html#FerrariF03