DISCRETE AND SWITCHING FUNCTIONS - Davio, Marc; Thayse, Andre (St-Saphorin Georgi Pub. Co., 1978)
Keywords: Logic, Symbolic And Mathematical