Results on the propositional -calculus (1983)

by Dexter Kozen
Venue:Theoretical Computer Science