@book{119630,
	author = {Черч, А. and Чернявский, В. С.},
	title = {Введение в математическую логику. Т.1 /},
	publisher = {Изд-во иностр.лит,},
	year = {1960.},
	address = {Москва :},
	note = {Доп. тит.л. на англ. яз.}
}