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