Искусство достоверного рассуждения : Неформальная реконструкция аристотелевой силлогистики и булевой математики мыслиБрусенцов, Николай Петрович199822 с.