Logic for Computer Scientists

Logic for Computer Scientists
by Uli Furbach

Publisher: Wikibooks 2010

Description:
This logic course is intended for computer scientists and it assumes practically no previous knowledge except some basic mathematical notions like relations and orderings. The aim was to create an electronic, interactive script where logics can be experienced by interaction and experimentation.