Version history

Version numbers are formatted in the usual way: as a decimal, with increments indicating amount of change. The number in brackets is the date that the PDF file was compiled; the format is [year month day]

Notable prior versions are kept available at the SUNY DSpace digital archive.

• version 1.24 [080109] Fixed typos. Renamed 'dilemma' and 'material conditional' proof rules.
• version 1.23 [070512] Fixed minor typos.
• version 1.22 [070331] Minor corrections. Changed license to Creative Commons Attribution-ShareAlike 3.0, removing the 'no commercial use' restriction.
• version 1.21 [070113] Fixed minor typographical and formatting errors throughout.
• version 1.20 [060710] Completely revised the sections on reasoning about all models and the definition of satisfaction (ch 5). Added two problem sets with solutions (ch 6).
• version 1.11 [060124] Small corrections. Additional exercises: proofs using identity.
• version 1.10 [051127] Corrections throughout. Additional exercises. Added an appendix on alternate notation.
• version 1.05 [050820] More exercises and solutions.
• version 1.00 [050713] The text suffers from a dearth of practice exercises, but is otherwise complete.

home ... content ... format ... download ... contact

This page is © P.D. Magnus and is offered under the Creative Commons license. Some rights reserved. (Attribution-ShareAlike 3.0)