1. Современная логика и онтология. Книга 1: Традиционная логика. Пропозициональная логика. Логика предикатов. Мягкая обложка. 352 стр.

Книга посвящена основам современной логики и онтологии. Логика понимается как онтологическая дисциплина, изучающая идеальную сторону бытия. Идеальный тип существования характеризуется отсутствием пространственных и темпоральных предикатов. Поэтому логические объекты и отношения между ними не располагаются в пространстве и не изменяются во времени. Такой подход заставляет отказаться от устаревших представлений о логике как науке о мышлении. Предлагается новое понимание сути логики как науки. Логика занимается предельно общим изучением того, что может быть, что возможно, и тем, что не может быть, что невозможно ни при каких обстоятельствах.
В книге кратко прослеживается эволюция логической идеи доказательства от истоков до появления традиционной логики, и затем до современного уровня, изучению которого фактически посвящено основное содержание работы. Относящийся к современной логике материал, включающий пропозициональную логику и логику предикатов, изложен «с нуля» и более подробно, чем это обычно делается, что позволит читателю обрести столь востребованную самостоятельность в деле освоения современной логики.
Книга предназначена всем интересующимся логико-онтологическими проблемами научной философии.

2. Анисов А.М. Современная логика и онтология. Книга 2: Аксиоматические теории. Теория множеств. Модели времени. Мягкая обложка. 216 стр.

Книга посвящена основанной на современной логике онтологии пространства и времени. Различные виды пространств описываются первопорядковыми аксиоматическими теориями, модели которых и представляют эти пространства. Последовательно рассматриваются теории сходства, эквивалентности, равенства, порядка и арифметики (включая нестандартную арифметику). Пространство в его наиболее общих характеристиках исследуется теорией множеств, в связи с чем в книге даются формулировки различных аксиоматических теорий множеств, включая экзотическую теорию NF, в которой доказуемо существование множества всех множеств и существование неканторовых множеств. В качестве теории времени избрана принадлежащая автору теория нестандартной индетерминированной вычислимости ABT, позволяющая, в частности, описывать процессы, не имеющие первого шага выполнения и моделировать появление принципиально нового, не связанного с выбором из уже имеющегося множества возможностей. Первостепенное внимание уделяется философской стороне дела, поэтому в тексте нет сложных математических доказательств.
Книга предназначена всем интересующимся логико-онтологическими проблемами научной философии.