Hein, James L. Discrete structures, logic and computability - 2nd ed. - Narosa Publishing House 2004 - xvi, ISBN: 81-7319-562-5 450 Subjects--Topical Terms: MATHS Dewey Class. No.: 511.1 / HEI