@book{2883,
	author = {Gabbay, Dov M.},
	title = {Elementary logics},
	publisher = {Prentice Hall Europe},
	year = {1998},
	series = {Prentice Hall series in computer science},
	address = {London}
}