Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н.А.Алешина,А.М.Анисов,П.И.Быстров и др., 1990. - 239 c. - Текст : непосредственный.
Смаллиан, Рэймонд Мэррил. Шахматные тайны : 100 труднейших задач, связанных с расследованиями в области шахтам / Рэймонд Смаллиан; [пер. Быстров П. И.], 2021. - 239 с. - Текст (визуальный) : непосредственный.
Дойч, Дэвид. Структура реальности : переводное издание / Дэвид Дойч; [пер. с англ. Быстров П. И.], 2022. - 351 с. - Текст (визуальный) : непосредственный.