@book{18956,
	author = {Антонова О. А.},
	title = {Табличные методы в логике},
	publisher = {Издательство С.-Петербургского университета},
	year = {2003},
	address = {Санкт-Петербург}
}