Results on the propositional ��-calculus, Theoret (1983)

by D Kozen
Venue:Comput. Sci