Complete rules of inference for universal sentences (1984)

by D Kelly
Venue:Studia Sci. Math. Hungar