Title: Basic logic
First published: 1952