Calculus (1983)

by D Kozen
Venue:Results in the Propositional