Über Interpretationen der Prädikatenkalküle Höherer Stufe

DOI10.1007/BF01973144zbMath0084.24704MaRDI QIDQ3252698

Gisbert Hasenjaeger

Publication date: 1958

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137745

zbMATH Keywords

philosophy and foundations of mathematics

Cites Work

• Unnamed Item
• The independence of a weak axiom of choice
• A formulation of the simple theory of types
• On absolute properties of relations

This page was built for publication: Über Interpretationen der Prädikatenkalküle Höherer Stufe