Lineare numerische Analysis - Gastinel, Noel (Logik und Grundlagen der Mathematik, 1972)