cek and P. Pudl ak, Quantified propositional calculi and fragments of bounded arithmetic, Zeitschrift fur Mathematische Logik und Grundlagen der (1990)

by J Kraj
Venue:Mathematik