Logique mathématique appliquée - Freudenthal, H. (Gauthier-Villars, Paris, 1958)