@book{55599,
	author = {Huth, Michael},
	title = {Logic In Computer Science},
	publisher = {Cambridge University Press},
	year = {2016},
	address = {Wellesley}
}