A Survey of Proof Theory
Separating the foundations of mathematics from philosophy. Difference between the theory of formal systems theory and evidence. Classical first order predicate logic. Elementary and full analysis. Existing proof theory. Infinitely long expressions.
Подобные документы не найдены.