Title: A treatise of formal logic
First published: 1962