propositional calculi and fragments of bounded arithmetic, Zeitschrift für mathematische Logik und Grundlagen der (1990)

by Quantified
Venue:Mathematik