Peyman Nasehpour, 25 Jan 2015 A great book on Logic for Computer Science by Professor Uwe Schöning http://link.springer.com/book/10.1007/978-0-8176-4763-6…