Elementary Logic
Elementary Logic
Elementary Logic
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
References<br />
J.H. Gallier. <strong>Logic</strong> for Computer Science: Foundations of<br />
Automatic Theorem Proving, Harper & Row Publishers, 1985.<br />
J. Goubault-Larrecq and I. Mackie. Proof Theory and<br />
Automated Deduction, Kluwer Academic Publishers, 1997.<br />
M. Huth and M. Ryan. <strong>Logic</strong> in Computer Science: Modelling<br />
and Reasoning about Systems, Cambridge University Press,<br />
2004.<br />
Yih-Kuen Tsay (SVVRL @ IM.NTU) <strong>Elementary</strong> <strong>Logic</strong> FLOLAC 2011 64 / 64