Gisbert Hasenjaeger (hasenjaeger)

Contributions to Philosophie.ch

Bibliography

Hasenjaeger, Gisbert. 1955. “On Definability and Derivability.” in Mathematical Interpretation of Formal Systems, pp. 15–25. Studies in Logic and the Foundations of Mathematics n. 16. Amsterdam: North-Holland Publishing Co.
Hasenjaeger, Gisbert. 1966. “Was ist Cantors Continuumproblem nicht?” Kant-Studien 57(1–4): 373–377.
Hasenjaeger, Gisbert. 1967. “On Löwenheim-Skolem-Type Insuffiencies of Second Order Logic.” in Sets, Models and Recursion Theory (Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965), edited by John Newsome Crossley, pp. 173–182. Studies in Logic and the Foundations of Mathematics n. 46. Amsterdam: North-Holland Publishing Co.
Hasenjaeger, Gisbert. 1978. “Prädikatenvariablen in der Zahlentheorie.” Dialectica 32(3–4): 209–220.
Scholz, Heinrich and Hasenjaeger, Gisbert. 1961. Grundzüge der mathematischen Logik. Berlin: Springer.
Skolem, Thoralf, Hasenjaeger, Gisbert, Kreisel, Georg, Robinson, Abraham, Wang, Hao, Henkin, Leon and Łoś, Jerzy. 1955. Mathematical Interpretation of Formal Systems. Studies in Logic and the Foundations of Mathematics n. 16. Amsterdam: North-Holland Publishing Co.