@book{246558,
	author = {Flum, Jorg. and ProQuest (Firm)},
	title = {Logic and automata},
	publisher = {Amsterdam University Press,},
	year = {c2008.},
	series = {Texts in logic and games ;},
	address = {Amsterdam :},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=419849}
}