1 Table of Contents: “...Constructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic...”

2 Table of Contents: “... -- 6.2 The Monadic Second Order Language -- 6.3 Satisfiability and Theories -- 6.4 Isomorphisms -- 6.5...”

3 Table of Contents: “... Logic Analysed in Constructive Type Theory -- On the Constructive Truth and Falsity in Peano Arithmetic...”

4 Subjects: “...Formal Languages and Automata Theory...”

5 Table of Contents: “...Constructive mathematics and type theory -- Logic, automata and automatic structures...”

6 Table of Contents: “...Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking -- Explicit Proofs...”

7 Table of Contents: “... with operations on proofs -- Formal verification of logic programs: Foundations and implementation -- Unification...”

8 Table of Contents: “... unifying theory of dependent types: the schematic approach -- MSL — A Mathematical Specification Language...”

9 Table of Contents: “... -- Hereditarily sequential functionals -- Propositional linear temporal logic and language homomorphisms...”

10 Table of Contents: “...Constructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic...”

11 Table of Contents: “... with nonmonotonic logics -- Simulations between programs as cellular automata -- Separating disbeliefs from beliefs...”

12 Table of Contents: “... programming -- An operator for composing deductive data bases with theories of constraints -- Update rules...”

13 Table of Contents: “... A Comparative Guide -- VI Elements of Set Theory -- 1 Some Basic Axioms of Set Theory -- 2 Boole’s...”

14 Table of Contents: “... Logic -- A BialgebraicApproach to Automata and Formal Language Theory...”

15 Table of Contents: “... and a programming language for dynamic networks of hybrid automata -- Synthesis of minimally restrictive...”