Title: Logic and Declaritive Languages
First published: January 2006
Subjects: Logic, symbolic and mathematical