Constructive validity, in: Symp. on Automatic Demonstration (1970)

by D S Scott
Venue:Lecture Notes in Mathematics