Make your own free website on

Basic Concepts of Mathematical Logic

As Five Large Gif Images

Page 1
Page 2
Page 3
Page 4
Page 5

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.