@book{7149,
	author = {Brody, Baruch A.},
	title = {Logic Theoretical and Applied},
	publisher = {Prentice},
	year = {1985},
	address = {New York}
}