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