Hereditary Harrop Formulas and Logic (1987)

by D Miller
Venue:Programming, Proceedings of the VIII International Congress of Logic, Methodology, and Philosophy of Science