Home > Logic
(vorläufig nicht auf Deutsch verfügbar)

(My) Notes on Logic

• Chapter 0: Title, Preface, Table of contents [Version 2]
• Chapter 1. Introduction [Version 2]
• Chapter 2. Mathematical Preliminaries [Version 2]
• Chapter 3. Elements of Induction and Recursion [Version 1]
• Chapter 4. On Abstraction and Formalization (in preparation)
• Chapter 5. The Syntax of Propositional Logic (in preparation)
• More Lessons are in preparation.
• References [Version 2]
• Index [Version 2]