[Studies in Logic and the Foundations of Mathematics] Harvey Friedman's Research on the Foundations of Mathematics Volume 117 || The Consistency Strengths of Some Finite Forms of the Higman and Kruskal Theorems
Smith, Rick L.Year:
1985
Language:
english
DOI:
10.1016/s0049-237x(09)70157-0
File:
PDF, 509 KB
english, 1985