A model theorem for the propositional -calculus (1988)

by D Kozen
Venue:Studa Logica