Draft of Logic textbook
Logic, Algorithms, and Formal Languages
Authors: Richmond H. Thomason and Jamie Tappenden


 

For a description of the textbook, see here.

  Release 8.1, Index to Chapters 1-12 and Appendix  (PDF Format).
 
 

Notes on Releases (from Release 3 on):

Version 3. Date of this version was Jan 2 - April 4, 2007. It contained Chapters 1-8 only. This version is out of date and has been removed from the website.

Version 4. This release began August 7, 2007 with Chapters 1-3, continuing Sept. 10 with Chapters 4-6, Oct. 22 with Chapters 7-9, Nov. 27 with Chapter 10, and Dec. 2 with Chapter 11.

Version 5. This release began December 26, 2007 with Chapters 1-3. It was continued on January 29, 2008 with Chapters 4-6, and on March 16, 2008, with Chapters 7-8.

Version 6.0. This release was posted May 1, 2008 and removed Aug. 7, 2009. It was in two parts, and contained complete drafts of Chapters 1-11. These drafts are intended to be final, except for corrections and minor additions.

Version 7.4. This release was posted August 4, 2013. It consists of revised and corrected Chapters 1-13, and an Appendix. This draft is intended to be final, except for corrections and minor additions.


 

rthomaso@umich.edu