Title: Logic and boolean algebra
First published: 1962