@book{1630,
	author = {Smullyan, Arthur.},
	title = {Fundamentals of logic.},
	publisher = {Prentice-Hall},
	year = {1962.},
	address = {Englewood Cliffs, N. J.}
}