Ви є тут

Генценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиков

Автор: 

Бирюков Александр Викторович

Тип роботи: 

Кандидатская

Рік: 

1999

Артикул:

1000222487

179 грн

Додати в кошик

• 
• 
• 

Рекомендовані дисертації

• Бивалентные семантики
• Регулярные логики Клини: расширение и обобщение
• Логические идеи Э. Гуссерля
• Действия и нормы
• Интуиционистская логика и теория множеств
• Алгоритм поиска натурального вывода для интуиционистской логики высказываний
• Логические средства моделирования диалога
• Логика в университетской философии Санкт-Петербурга начала XX века
• Семантический анализ простых паранормальных логик
• Бивалентные семантики : логико-философские аспекты