Book talk:M. Ben-Ari/Mathematical Logic for Computer Science

The third edition (which I laid my hands on today) is very different from the second (which I already had) which in turn mentions to be "completely rewritten" WRT the first. The third edition is really good for the basic and thorough coverage of PropCalc and PredCalc and their models that we need (though there is a quirk that Ben-Ari only defines models for finitely many relation symbols and constants at once, this can easily be overcome) so I'd like to get started covering it (before proceeding to abstractions I can't even formulate here presently). But do we need to separate the editions in some way? --Lord_Farin (talk) 23:36, 14 February 2013 (UTC)