>Brisk is an understatement. But we?ve seen dozens of those types of intros before. They?re not intros in the pedagogical sense (to teach). They are intros in the aesthetic sense, like the first bars of a song.
That's right. They assume you've had a proper introduction to the typical half-formal way logic is used in mathematics texts elsewhere. But where? What's the ideal way to get started?