Mathematical tower of Babel (MdCŚ)
Completely about infinity
Axioms, axioms, axioms
Decidable and Turing languages
Bounded Turing machines — about context sensitive languages
Grammars — about context-free languages
Automata — about regular languages
Prologue to the book of languages
