Non standard interpretations of higher order theories
Tom 112 / 1981
Fundamenta Mathematicae 112 (1981), 175-186
DOI: 10.4064/fm-112-3-175-186