@book{89995,
	author = {Robison, Gerson B.},
	title = {An introduction to mathematical logic},
	publisher = {Prentice-Hall},
	year = {[1969]},
	address = {Englewood Cliffs, N.J.}
}