Интуиционистски приемлемая паранормальная логика.

Article Sidebar

PDF
Опубликован: 02.11.2004
DOI: https://doi.org/10.21146/2074-1472-2004-11-0-243-246

Main Article Content

В.М. Попов
Г.Н. Шуклин

Аннотация

Философу Льву Хоруцу, который 37лет назад учил реконструированию возможных миров, с уважением и признательностью посвящается

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Попов В., Шуклин Г. Интуиционистски приемлемая паранормальная логика. // Логические исследования / Logical Investigations. 2004. Т. 11. C. 243-246.
Выпуск
Том 11 (2004)
Раздел
Статьи

Литература

Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1967. С. 9-74.

Драгалин А.Г Математический интуиционизм. Введение в теорию доказательств. М., 1979.