Boolean reasoning: The logic of Boolean equations (2003)

by F M Brown
Venue:Dover Publications