Logic as a Tool

References

1. D'Agostino, M., Gabbay, D.M., Hähnle, R., and Posegga, J. (eds.) 1999. Handbook of Tableau Methods. Kluwer Academic Publishing, Dordrecht.
2. Barwise, J. and Echemendy, J. 1999. Language, Proof and Logic. CSLI Publication, Stanford.
3. Ben-Ari, M. 2012. Mathematical Logic for Computer Science, third edition. Springer, New York.
4. van Benthem, J., van Ditmarsch, H., van Eijck, J., and Jaspars, J. 2014. Logic in Action. Open Course Project, University of Amsterdam, http://www.logicinaction.org/docs/lia.pdf (accessed 7 April 2016).
5. Boole, G. 2005. An Investigation of the Laws of Thought. Project Gutenberg, eBook [#15114].
6. Boolos, G., Burgess, J., and Jeffrey, R. 2007. Computability and Logic, fifth edition. Cambridge University Press, Cambridge.
7. Bornat, R. 2005. Proof and Disproof in Formal Logic. Oxford Texts in Logic, Oxford University Press, Oxford.
8. Carroll, L. 1886. The Game of Logic. MacMillan and Co., London. Available from the Project Gutenberg as Ebook at http://www.gutenberg.org/ebooks/4763 (Accessed 6 April 2016).
9. Carroll, L. 1897. Symbolic Logic. MacMillan and Co., London. Available from the Project Gutenberg as Ebook at http://www.gutenberg.org/files/28696/28696-h/28696-h.htm (accessed 6 April 2016).
10. Chang, C.-L. and Lee, R. C.-T. 1997. Symbolic Logic and Mechanical Theorem Proving. Academic Press, Cambride, MA.
11. Chiswell, I. and Hodges, W. 2007. Mathematical Logic. Oxford University Press, Oxford.
12. Conradie, W. and Goranko, V. 2015. Logic and Discrete Mathematics: ...