@book{19376,
	author = {Jean--Paul Tremblay and Winfried Karl Grassmann},
	title = {Logic and discrete mathematics:},
	publisher = {Prentice-Hall International,},
	year = {1996},
	address = {London,UK:}
}