Un Programme de Démonstration de Théorèmes. Jacques Pitrat, Alonzo Church.

Un Programme de Démonstration de Théorèmes

Paris: Dunod 1970. First Edition. XII, 120 pages. Green printed wrappers. Covers sunned. Very Good. Wraps. [23629]

The author Jacques Pitrat was known in France for his work on artificial intelligence.

Stamp of R. A. Robinson on the front flyleaf. Robinson was a well known mathematician and computer scientist. He founded the Journal of Logic Programming, and was given the Association for Logic Programming honorary title Founder of Logic Programming in 1997. Laid in is a postcard from Alonzo Church (editor of the Journal of Symbolic Logic) reminding Professor Robinson he needs to review this work. Also laid in is a printed card from the Editeur at Dunod noting it was provided with the author's compliments.

Price: $35.00