Title: Algebra, combinatorics and logic in computer science
First published: 1986
Subjects: Algebra, Boolean, Boolean Algebra, Combinatory logic, Computer programs, Correctness, Logic, Symbolic and mathematical, Symbolic and mathematical Logic