@book{189205,
	author = {Вильнюс. госуниверситет им. В. Капсукаса},
	title = {Формализация естественного языка в терминах исчисления высказываний и исчисления предикатов первой степени /  Ч. 1},
	publisher = {Изд. гос ун-та,},
	year = {1975.},
	address = {Вильнюс. :}
}