Gisbert Hasenjaeger (hasenjaeger)

Contributi a 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.