Теория объектов в логике - Бессонов А. В. Александр Владимирович (Новосибирск, Наука, 1987)