1 Table of Contents: “...1 Logical Preliminaries -- 1.1 Basic notions -- 1.2 t-norms and ?-operators -- 1.3 t-norm based...”

2 Table of Contents: “...-Rekursivität der rekursiven Funktionen -- Sechstes Kapitel. Unentscheidbare Prädikate -- § 22. Einfache...”

3 Table of Contents: “...-Rekursivität der rekursiven Funktionen -- Sechstes Kapitel. Unentscheidbare Prädikate -- § 22. Einfache...”

4 Table of Contents: “... -- 2.1 Welcher Zug ist der beste? -- 2.2 Gewinnaussichten und Symmetrie -- 2.3 Ein Spiel zu dritt -- 2.4...”

5 Table of Contents: “... -- 2.1 Welcher, Zug ist der beste? -- 2.2 Gewinnaussichten und Symmetrie -- 2.3 Ein Spiel zu dritt -- 2.4...”

6 Table of Contents: “... Modallogiken -- 22. Semantik modaler Logiken -- 23. Dimodale Logiken -- 24. Multimodale Logiken -- Hinweise zur...”

7 Table of Contents: “... Mathematische Strukturen -- 2.2 Syntax elementarer Sprachen -- 2.3 Semantik elementarer Sprachen -- 2.4...”

8 Table of Contents: “... -- Hilbert's Lectures on Foundations of Mathematics from 1921-22 -- Hilbert's Lectures on Logical Foundations...”

9 Subjects: “...Mathematical Logic and Foundations...”

10 Table of Contents: “...1 Vorwort -- 2 Einleitung -- 2.1 Anwendungsbeispiele -- 2.2 Gedanken zum Programmdesign -- 2.3 Zum...”

11 Table of Contents: “... -- § 21. Exkurs: das Formalisieren -- § 22. Die Formalisierung der Wertzuweisung -- 7. Probleme mit der...”

12 Table of Contents: “... Berechenbarkeit -- 2.1 Random-Access-Maschinen -- 2.2 Die Programmiersprache RIES -- 2.3 Zur Geschichte des...”

13 Table of Contents: “... -- 2 Prädikatenlogik und Kalküle -- 2.1 Syntax -- 2.2 Semantik -- 2.3 Logische Kalküle -- 3...”

14 Table of Contents: “... Wortersetzungssysteme -- 2.1 Motivation -- 2.2 Termination und Konfluenz -- 2.3 Die Vervollständigung nach Knuth-Bendix...”

15 Table of Contents: “... Prädikatenkalkül erster Stufe -- 2.1 Die Syntax des Prädikatenkalküls erster Stufe -- 2.2 Semantik des...”

16 Table of Contents: “.... Kategorielle Grundlagen -- 22. Kategorien in Mathematik und Informatik -- 23. Isomorphie, Mono- und...”

17 Table of Contents: “... dieses Buches -- 2 Vorbereitungen -- 2.1 Syntax -- 2.2 Getypte Ausdrücke -- 2.3 Semantik von Ausdrücken...”

18 Table of Contents: “... Was sind algorithmische Probleme? -- 2.2 Einige wichtige algorithmische Probleme -- 2.3 Wie wird die...”

19 Table of Contents: “... Automaten -- 2.2. Zusammenhangsbegriffe bei Automaten -- 2.3. Homomorphie und Isomorphie bei Automaten -- 3...”

20 Table of Contents: “... Komplexität -- 22. Datenbanksemantik -- 23. SLIM-Maschine im Hörermodus -- 24. SLIM-Maschine im Sprechermodus...”