Title: Logic and Boolean algebra
First published: 1962