@book{120524,
	author = {Идельсон, А. В.},
	title = {Математическая теория логического вывода :},
	publisher = {Наука,},
	year = {1967.},
	series = {Математическая логика и основания математики},
	address = {Москва :}
}