@book{21454,
	author = {Mendelson Elliot},
	title = {Introduction to mathematical logic university series},
	year = {1964}
}