A model theorem for the propositional -calculus (1988)

by Dexter Kozen
Venue:Studia Logica