@book{191235,
	author = {Проченков И.В.},
	title = {Семантика модальных и интенсиональных логик :},
	publisher = {Прогресс ,},
	year = {1981.},
	address = {М.:}
}