@book{85852,
	author = {Gallier, Jean H.},
	title = {Logic for computer science /},
	publisher = {Dover Publications,},
	year = {2015},
	address = {Mineola:},
	edition = {2nd}
}