@book{8776,
	author = {Malitz, Jerome},
	title = {Introduction to mathematical logic},
	publisher = {Springer-Verlag,},
	year = {1979},
	series = {Undergraduate texts in Mathematics},
	address = {New York:}
}