Lineare numerische Analysis (Analyse numérique linéaire [Deutsch]) - Gastinel, Noël (Logik und Grundlagen der Mathematik, 1972)