Nada Amin’s Reviews > Handbook of Practical Logic and Automated Reasoning > Status Update
Nada Amin
is on page 46 of 702
Finished the first chapter. Surprisingly readable and entertaining with historical quotes.
— Jan 02, 2010 04:55AM
Like flag
Nada’s Previous Updates
Nada Amin
is on page 149 of 702
Started chapter 3 on first-order logic up to semantic interpretation.
— Jan 03, 2010 12:51PM
Nada Amin
is on page 139 of 702
Read most of 2nd chapter, except for some algorithmic optimizations. Still nothing mind-bending, but readable at least.
— Jan 03, 2010 06:42AM
