@book{161520,
	author = {Такеути, Г. and Соболев С. К.},
	title = {Теория доказательств /},
	publisher = {Мир,},
	year = {1978.},
	address = {Москва :},
	note = {Доп. тит. л. на англ. яз.}
}