Logic: Form and Function - The Mechanization of Deductive Reasoning

Robinson, J.A.

Edité par North-Holland, New-York, 1979

A propos de cet article

135x223mm. VI+312 pages. Hardcover. Cover slightly stained. Cover edges slightly bumped . Spine slightly faded and stained. Front cover slightly detached. Pages slightly yellowing. Else in good condition. The book is in : English. N° de réf. du vendeur AR 500 008

Détails bibliographiques

Titre : Logic: Form and Function - The Mechanization...

Éditeur : North-Holland, New-York

Date d'édition : 1979

Reliure : Couverture rigide