Constructive validity, in Symposium on Automatic Demonstration (1970)

by D Scott
Venue:Lecture Notes in Mathematics