Quanti propositional calculi and fragments of Bounded Arithmetic, Zeitschrift f. math. Logik und Grundlagen d (1990)

by J Krajcek, P Pudlak
Venue:Math