Thinking Machines : a layman's introduction to logic,Boolean algebra, and computers - Adler Irving (London Dennis Dobson, 1961)
Keywords: Boolean algebra; Computer science