I'm going to have to take the course Logic for Computer Science at some point and everyone says both the book and the lectures are horrible. I'm looking for a book that covers the course material in ...
What are standard ways to write mathematical expressions in a (semi)formal way ? In different posts of mine concerning similar question I have encountered for a generic expression of the type "for all ...
In studying combinatorics, I learn about "Formal Language Theory". So is there any interesting concrete application of this theory in mathematics, say for example combinatorics? (I confess, I google ...