[pl-seminar] FYI: Synthesis Lecture "Introduction to Logic"

["Mark D. Hill" <markhill@xxxxxxxxxxx>]

Dear PL-ers

FYI: I just read a good, simple introduction to logic from Stanford. 
Since it is available free on campus, you may want to check it out:
Introduction to Logic
Michael Genesereth and Eric Kao
Synthesis Lectures on Computer Science
http://www.morganclaypool.com/doi/abs/10.2200/S00432ED1V01Y201207CSL005

--Mark

P.S.
As some of you know, I am editor of Synthesis Lectures in Computer 
Architecture (http://www.morganclaypool.com/toc/cac/1/1), which includes 
Samuel Midkiff's lecture "Automatic Parallelization: An Overview of 
Fundamental Compiler Techniques" 
(http://www.morganclaypool.com/doi/abs/10.2200/S00340ED1V01Y201201CAC019).