| Mathematical Methods in Linguistics |
| | Languages, Grammars, and Automata |
| | Basic Concepts of Languages, Grammars, and Automata |
| | Finite Automata, Regular Languages and Type 3 Grammars |
| | Pushdown Automata, Context-Free Grammars and Languages |
| | Turing Machines, Recursively Enumberable Languages, and Type 0 Grammars |
| | Linear Bounded Automata, Context-Sensitive Languages and Type 1 Grammars |
| | Languages Between Context-Free and Context-Sensitive |
| | Transformational Grammars |
| | Formal Systems, Axiomatization, and Model Theory |
| | English as a Formal Language |
| | Basic Concepts of Formal Languages |
| | Basic Concepts of Algebra |
| | Boolean and Heyting Algebras |
| | Basic Concepts of Set Theory |
| | B.H.Partee, A.G.ter Meulen, R.Wall |
| |