Author: BRAFFORT, P. & F. VAN SCHEEPEN (EDITORS)
Title: Automation in Language Translation and Theorem Proving. Some Applications of Mathematical Logic. Brussels, June 1968.
Description: Brussel: Dissemination Of Information, 1968. First Edition; First Edition. Hardcover (rebound in cloth). 295 pages. With library stamps & labels. New endpapers. Slight wear to spine, covers & corners. ; Ex-Library; Quarto. Good with no dustjacket .

Keywords: