Title: Formal logic
First published: 1950