@book{41116,
	author = {Takeuti, Gaisi and Sobolev, S. K.},
	title = {Теория доказательств},
	publisher = {Mir},
	year = {1978},
	address = {Moskva}
}