@book{18801,
	author = {Слинин Я. А., Караваев Э. Ф., Мигунов А. И.},
	title = {Символическая логика},
	publisher = {Изд-во С.-Петерб. гос. ун-та},
	year = {2005},
	address = {Санкт-Петербург}
}