@book{3520,
	author = {Grassmann Winfriend & Trembly Jean Paul},
	title = {Logic and discrete mathematics},
	publisher = {N jersey prentice hall},
	year = {1996}
}