Hobbes Introduction by Oakeshott
Student Study Guide
Gabbar h.a. (eds.) modern formal methods and applications (springer, 2006)(isbn 9781402042232)(216s) cs pl_
Mcs 013
MCS-013 DISCRETE MATHEMATICS