Non standard interpretations of higher order theories

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

Paweł Zbierski Fundamenta Mathematicae 112 (1981), 175-186 DOI: 10.4064/fm-112-3-175-186