@book{782480,
	title = {LOGIC SYSTEMS N2/N3}
}