1 Table of Contents: “...The isomorphism conjecture and its generalizations -- Some lectures on intuitionistic logic...”

2 Table of Contents: “...Computability of Algebraic and Definable Closure -- Observable Models -- Countermodel Construction...”

3 Table of Contents: “... structures -- Computability and randomness -- Logical foundations of programming -- Logical aspects...”

4 Table of Contents: “... -- Computability and randomness -- Logical foundations of programming -- Logical aspects of computational...”

5 Table of Contents: “... Computation -- ATL with Strategy Contexts and Bounded Memory -- A Relational Model of a Parallel and Non...”

6 Table of Contents: “... structures -- Computability and randomness -- Logical foundations of programming -- Logical aspects...”

7 Table of Contents: “... for Intuitionistic Logic with Classical Atoms -- Proof Identity for Classical Logic: Generalizing to Normality...”

8 Table of Contents: “... Computability Without Choice -- Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic -- A...”

9 Table of Contents: “... quasi-o-minimal domains -- Towards computing distances between programs via Scott domains -- A safe...”

10 Table of Contents: “... characterizations of logic program properties -- Computing the well-founded semantics faster -- Loop checking...”

11 Table of Contents: “... The Myhill—Nerode Theorem -- 2.5 The Kleene Theorem -- 2.6 Generalized Finite Automata -- 2.7 The Pumping...”