Title: The mechanization of logic II
Subjects: Boolean Algebra, Programming (Electronic computers)