@book{13525,
	author = {Johnson, W.E.},
	title = {Logic Part I},
	publisher = {Dover Publications.}
}