propositional calculi and fragments of bounded arithmetic, Zeitschrift fur Mathematische Logik und Grundlagen der (1990)

by Quantified
Venue:Mathematik