Title: Syntaxe, sémantique et axiomatique d'un langage de programmation simple
Subjects: Programming languages (Electronic computers), Symbolic and mathematical Logic