Reelle Zahlen in elementarer Darstellung, Stuttgart 1979, 181 pp.
Starting from a short history of arithmetics this is the first
presentation of founding the arithmetic of reals on calculating with
formal decimal fractions in a text book. This method is closely related
to realizing real arithmetic in computer chips. It is much easier to
present and to understand than the traditional methods of Dedekind,
Cantor and others. Lots of numeric applications are presented.
Klassische und Nichtklassische Aussagenlogik, Wiesbaden 1979, 361 pp.
A comprehensive textbook on classical and non-classical propositional
logic like intuitionistic and modal logic. As regards the latter, the
various methods of a syntactic and semantic analysis (Kripke Semantics,
Algebraic Semantics) are presented in detail. The necessary
mathematical background is developed in a separate appendix. This book
reflects the state of this field of mathematical logic towards the
end of the 20th century.
(Editor) Classical Logic, Vol. I of the Ω-BIBLIOGRAPHY OF
MATHEMATICAL LOGIC, Springer, Heidelberg 1987.
A comprehensive collection of nearly all scientific papers of modern
mathematical logic from the Time of Frege until the appearance of this
bibliography.
(Editor) Non-Classical Logic, Vol. II of the Ω-BIBLIOGRAPHY OF
MATHEMATICAL LOGIC, Springer, Heidelberg 1987.
Like item [3] a bibliography of all papers covering the developement of
non-classical logical systems like intuitionistic, modal and other
logics till the appearance of the work.
Elementare Grundlagen der Analysis, BI Verlag, Mannheim 1993, 160 pp.
This is a far-reaching elaboration of the material dealt with in
item [1]
of this listing.
Einführung in die Mathematische Logik, X + 250 pp, Vieweg
Verlag, Wiesbaden, 1st edition 1995, 2nd revised and expanded edition
2002.
A comprehensive textbook on mathematical logic and its link with the
foundations of mathematics. Besides classical sub elds of mathematical
logic like model theory also applications for the theory of logical
programming (PROLOG) are treated. Highlights are the elaborated
treatment of Gödel's theorems and the modern post-Goedelean
developement of self-reference.
A Concise Introduction to Mathematical Logic,
XVII + 256 pp,
Springer, New York 2006.
Revised translation of
item [6].
Messen und Zählen,
Eine einfache Konstruktion der reellen Zahlen,
Heldermann Verlag,
Lemgo 2007,
xiv + 188 pp.
This is a new and fully revised edition of the
item [5]
above.
The main content is the
construction of the number systems,
especially that of the real numbers.
These are considered as formal decimal fractions
so that the calculation operations
can defined easyly by shifting of the decimal position.
This is the right text-book for a modern course on the
construction of number systems the steps of which are accompagned
in the book by numerious applications.
Einführung in die Mathematische Logik, XVIII + 256 pp, Vieweg+Teubner
Verlag, Wiesbaden, 3rd revised edition 2008.
This is a revised edition of the
item [6]
above.
A Concise Introduction to Mathematical Logic,
XXI + 319 pp,
Springer, 3rd edition, New York 2010.
Revised edition of
item [7].