Constructive validity (0)

by D Scott
Venue:In Symposium on Automatic Demonstration