Logic for computer science. Foundations of automatic theorem proving

Name: Logic for computer science. Foundations of automatic theorem proving
Author: Jean H. Gallier

by Jean H. Gallier · 1 review · 1989

Reviewed by	Journal	Date	Access
Frank Pfenning	The Journal of Symbolic Logic	1989	Restricted