Basic Concepts of Mathematical Logic
As Five Large Gif Images
Text files for the images were created using LyX on a PC running
the Linux operating system. XDvi was used to display the pages and xv was used to grab and crop them.