@book{2512,
	author = {Gallier, Jean H.},
	title = {Logic for computer science / Jean H. Gallier.},
	address = {John Wiley & Sons}
}