Title: Symbolic logic
First published: 1992