Logika od A do G. Návrh matematikova mechanického pomocníka volně zpracovaný tvůrčím matematikem Paul R. Halmos (1982) Pokroky matematiky, fyziky a astronomie
Logique mathématique et analyse non-standard François Dress (1968/1969) Séminaire de théorie des nombres de Bordeaux