Ch11
Apuntes C..
LOGIC Professor D’Ascoli HUM 200 Strayer University.
Predicate Logic for Software Engineering David Lorge Parnas McMaster University, Ontario, Canada.
Logic
The need for good enterprise analysis by Robin Grace