Building Blocks for Theoretical Computer Science
Margaret M. Fleck
The current version is
version 1.4
Previous versions include
Version 1.3b
Version 1.3
Version 1.2
Version 1.0