Prof. Dr. Wolfgang Rautenberg


  1. 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.

  2. 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.

  3. (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.

  4. (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.

  5. 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.

  6. 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.

  7. A Concise Introduction to Mathematical Logic, XVII + 256 pp, Springer, New York 2006.

    Revised translation of item [6].

  8. 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.

  9. 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.

  10. A Concise Introduction to Mathematical Logic, XXI + 319 pp, Springer, 3rd edition, New York 2010.

    Revised edition of item [7].