Title: Les mathématiques à la portée de l'ordinateur
Subjects: Automatic theorem proving, Programming languages (Electronic computers), Symbolic and mathematical Logic