@book{68490,
	author = {Gallier, Jean H.},
	title = {Logic for computer science :},
	publisher = {Harper & Row,},
	year = {c1986.},
	address = {New York, NY :}
}