Logical Foundations of Computing [CT214]

Logical Foundations of Computing References [CT214]

CT214 Home Page	http://geminga.it.nuigalway.ie/~gettrick/courses/CT214/ (Semester II) http://www.nuigalway.ie/maths/es/teaching/cs304/ (Semester I)
online guides and tutorials on logical foundations of computing	http://people.hofstra.edu/faculty/Stefan_Waner/RealWorld/logic/logicintro.html [recommended] http://www.jcu.edu/philosophy/gensler/fe/fe-0--00.htm http://www.sirus.com/users/mjake/Refguide.html http://www.sirus.com/users/mjake/Brief.html http://logic.philosophy.ox.ac.uk/Tutorials.htm http://www.geocities.com/Athens/Forum/6065/logic.htm http://www.rci.rutgers.edu/~cfs/305_html/Deduction/deduction_toc.html
books on logical foundations of computing	A First Course in Formal Logic and its Applications in Computer Science R. D. Dowsing, V. J. Rayward-Smith & C. D. Walter `Alfred Waller Ltd.` Introductory Logic and Sets for Computer Scientists Nimal Nissanke `Addison Wesley` Mathematical Structures for Computer Science Judith H. Gersting `W. H. Freeman and Company` 100% Mathematical Proof R. Garnier & J. Taylor `John Wiley & Sons` Mathematical logic : a course with exercises R. Cori `Oxford University Press` Discrete mathematics and its applications K. H. Rosen `McGraw-Hill` Discrete Mathematics R. Johnsonbaugh `Prentice-Hall` A mathematical introduction to logic H. B. Enderton `Harcourt/Academic Press` A friendly introduction to mathematical logic Christopher C. Leary `Prentice Hall` Logic for mathematics and computer science S. Burris `Prentice Hall` Logic : a foundation for computer science V. Sperschneider & G. Antoniou `Addison-Wesley` Logic and algorithms, with applications to the computer and information sciences Robert R. Korfhage `Wiley` and many other books at http://www.library.nuigalway.ie/