Title: Logic and language
First published: 2003
Subjects: Logic programming, Language and logic, Logic