1 Table of Contents: “... ?-terms -- I/O automata in Isabelle/HOL -- A concrete final coalgebra theorem for ZF set theory...”

2 Table of Contents: “... Abstraction -- 5 Formal Systems -- 6 Logic -- 7 Set Theory and Relations -- 8 Algebraic Specification -- 9...”

3 Table of Contents: “... -- The classical reasoner -- Basic concepts -- First-order logic -- Zermelo-Fraenkel set theory -- Higher-order...”

4 Table of Contents: “...I -- 1 Knowledge Discovery -- II -- 2 Knowledge Representation -- 3 Fuzzy Set Theory -- 4 Fuzzy...”

5 Table of Contents: “... -- The logic of FOL systems: Formulated in set theory -- Well-ordering of algebras and Kruskal's theorem...”

6 Table of Contents: “... and Coinductive Types -- A Finite First-Order Presentation of Set Theory...”

7 “...This book focuses on the recent research issues regarding the application of fuzzy set theory...”

8 Table of Contents: “...-additive Measures -- On the Hierarchy of t-norm Based Residuated Fuzzy Logics -- A Development of Set...”

9 Table of Contents: “... -- Bunch Theory -- Set Theory -- String Theory -- List Theory -- 3 Function Theory -- Functions...”

10 Table of Contents: “... Certified Polynomial-Based Decision Procedure for Propositional Logic -- Finite Set Theory in ACL2...”

11 Table of Contents: “... of existing high level synthesis algorithms in HOL -- Five axioms of alpha-conversion -- Set theory, higher...”

12 Table of Contents: “... -- Relation level semantics -- A constructive set theory for program development -- McCarthy's amb cannot...”

13 Table of Contents: “... and Component Mining Based on Rough Set Theory -- Components and Libraries -- Visualization of Reusable Software...”

14 Table of Contents: “... -- An operational approach to combining classical set theory and functional programming languages -- ML typing...”

15 Table of Contents: “... of Algorithms -- Exercises -- 3 Data Types -- 3.1 Introduction -- 3.2 A Primer on Set Theory -- 3.3 Scalar Types...”

16 Table of Contents: “... Performance Using Genetic Algorithms and Rough Set Theory -- 15 An Evaluation of Sampling Methods for Data...”

17 Table of Contents: “...A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory -- The Epsilon Calculus...”

18 Table of Contents: “... uncertainty models from random set theory...”

19 Table of Contents: “... -- Appendix: Specifying and Implementing Set Theory Operations --...”

20 Table of Contents: “... for Implementing the Main Concepts of the Rough Set Theory -- Intelligent Data Mining and Information Analysis...”