Table of contents : Front Matter....Pages i-xxii Front Matter....Pages 1-1 Basic Concepts of Set Theory....Pages 3-26 Relations and Functions....Pages 27-37 Properties of Relations....Pages 39-53 Infinities....Pages 55-73 Back Matter....Pages 75-84 Front Matter....Pages 85-85 Basic Concepts of Logic and Formal Systems....Pages 87-96 Statement Logic....Pages 97-134 Predicate Logic....Pages 135-178 Formal Systems, Axiomatization, and Model Theory....Pages 179-235 Back Matter....Pages 237-244 Front Matter....Pages 245-245 Basic Concepts of Algebra....Pages 247-253 Operational Structures....Pages 255-274 Lattices....Pages 275-294 Boolean and Heyting Algebras....Pages 295-307 Back Matter....Pages 309-312 Front Matter....Pages 313-313 Basic Concepts....Pages 315-369 Generalized Quantifiers....Pages 371-399 Intensionality....Pages 401-428 Front Matter....Pages 429-429 Basic Concepts....Pages 431-452 Finite Automata, Regular Languages and Type 3 Grammars....Pages 453-484 Pushdown Automata, Context Free Grammars and Languages....Pages 485-504 Turing Machines, Recursively Enumerable Languages and Type 0 Grammars....Pages 505-525 Linear Bounded Automata, Context Sensitive Languages and Type 1 Grammars....Pages 527-532 Front Matter....Pages 429-429 Languages Between Context Free and Context Sensitive....Pages 533-551 Transformational Grammars....Pages 553-557 Back Matter....Pages 559-666