A non-heuristic program for proving elementary logical theorems. English, with French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco

Name: A non-heuristic program for proving elementary logical theorems. English, with French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco
Author: B. Dunham, R. Fridshal, and G. L. Sward

by B. Dunham, R. Fridshal, and G. L. Sward · 1 review · 1967

Reviewed by	Journal	Date	Access
Joyce Friedman	The Journal of Symbolic Logic	1967	Restricted

Metaphysics & Logic

Search PhilReviews for this title