- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
Целищев - Вычислимость и доказательство
Нет экз.
Статья
Целищев.
Вычислимость и доказательство / Целищев // Философия науки : Научное изд. по философии,методологии и логике естественных наук. – 04/2006. – N2(29). – С.32-51.
Предметні рубрики = Логика : общий раздел : методология логики : логика и другие науки, прикладная логика : логика и математика
Ключевые слова = вычислимость
Ключевые слова = доказательство
Целищев.
Вычислимость и доказательство / Целищев // Философия науки : Научное изд. по философии,методологии и логике естественных наук. – 04/2006. – N2(29). – С.32-51.
Предметні рубрики = Логика : общий раздел : методология логики : логика и другие науки, прикладная логика : логика и математика
Ключевые слова = вычислимость
Ключевые слова = доказательство