[Studies in Logic and the Foundations of Mathematics] PATRAS LOGIC SYMPOSION Volume 109 || A Finite Combinatorial Principle Which is Equivalent to the 1-Consistency of Predicative Analysis
Friedman, Harvey M.Year:
1982
Language:
english
DOI:
10.1016/S0049-237X(08)71365-X
File:
PDF, 1.24 MB
english, 1982