Петров Ю.А. Логические проблемы абстракций бесконечности и осуществимости

Изд. 2-е, испр. — М.: Едиториал УРСС, 2004. — 200 с. — ISBN: 5-354-00975-8.В связи с развитием кибернетики, конструктивного направления в логике и математике, теории конечных автоматов, математической логики и теории моделирования значительно возросло значение правильного понимания проблем абстракций бесконечности и осуществимости.
В данной книге рассматриваются формально-логические и философские проблемы, связанные как с известными уже, так и с новыми абстракциями бесконечности и осуществимости. В частности, автор исследует вопрос о допустимости определенных формальнологических средств в теориях, использующих те или иные абстракции бесконечности и осуществимости, что представляет интерес для многих отраслей науки, а также для изучающих современную формальную логику.