Propositional and predicate calculus

Descrição: Designed specifically for guided independent study. Features a wealth of worked examples and exercises, many with f... Veja mais