Ramified analysis and the minimal β-models of higher order arithmetics

Volume 121 / 1984

Zygmunt Vetulani Fundamenta Mathematicae 121 (1984), 1-15 DOI: 10.4064/fm-121-1-1-15

Authors

  • Zygmunt Vetulani

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image