Results on the propositional -calculus (1983)

by D Kozen
Venue:Theor. Comp. Sci