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