Formalisation des démonstrations mathématiques / par André Arnold, 1968. Thèse de
3e cycle : Mathématiques appliquées : Lille : 1968
Internet, https://catalogue.bnf.fr/ark:/12148/cb17188366n (2018-10-31)
Information trouvée : Naissance : 1945.
Mathématiques pour l'informatique : avec 309 exercices corrigés : 75 % cours + 25
% exos / André Arnold, Irène Guessarian. 4e édition, DL 2005
Information trouvée : André Arnold est professeur d'informatique à l'Université Bordeaux 1.
Rudiments of [mu]-calculus / A. Arnold, D. Niwiński, 2001