Статья

Целищев.
Вычислимость и доказательство / Целищев // Философия науки : Научное изд. по философии,методологии и логике естественных наук. – 04/2006. – N2(29). – С.32-51.


Предметні рубрики = Логика : общий раздел : методология логики : логика и другие науки, прикладная логика : логика и математика
Ключевые слова = вычислимость
Ключевые слова = доказательство