Title: Using logic
First published: 1983