Thoralf Albert Skolem 1887--1963 a biographical sketch

Nordic Journal of Philosophical Logic 1 (2):99-106 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Thoralf Skolem Pioneer of Computational Logic.Herman Ruge Jervell - 1996 - Nordic Journal of Philosophical Logic 1 (2):107-117.
Thoralf Skolem and the epsilon substitution method for predicate logic.Grigori Mints - 1996 - Nordic Journal of Philosophical Logic 1 (2):133-146.
Review: Jens Erik Fenstad, Notes on Normative Logic. [REVIEW]A. N. Prior - 1959 - Journal of Symbolic Logic 24 (3):247-248.
Skolem Th.. Recursive enumeration of some classes of primitive recursive functions and a majorisation theorem. Det Kongelige Norske Videnskabers Selskabs, Forhandlinger, vol. 35 , pp. 142–148. Reprinted in Selected works in logic, by Th. Skolem, edited by Fenstad Jens Erik, Universitetsforlaget, Oslo, Bergen, and Tromsö, 1970, pp. 681–687. [REVIEW]H. E. Rose - 1973 - Journal of Symbolic Logic 38 (3):526-526.
Thoralf Albert Skolem.Jens Erik Fenstad & Hao Wang - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 127-194.
Review: Jens Erik Fenstad, The Axiom of Determinateness. [REVIEW]A. S. Kechris - 1974 - Journal of Symbolic Logic 39 (2):331-332.
Review: Jens Erik Fenstad, A Note on Standard versus Non-Standard Topology. [REVIEW]W. A. J. Luxemburg - 1970 - Journal of Symbolic Logic 35 (2):344-344.
Jens Erik Fenstad. The axiom of determinateness. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 41–61. [REVIEW]A. S. Kechris - 1974 - Journal of Symbolic Logic 39 (2):331-332.
Review: Hans Skjervheim, Reason in Society and Modern Logic; Jens Erik Fenstad, Notes on the Application of Formal Methods in the Soft Sciences. [REVIEW]Alan Ross Anderson - 1960 - Journal of Symbolic Logic 25 (1):81-81.
Thoralf Skolem. Bemerkungen zum Komprehensionsaxiom. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 , pp. 1–17. - C. C. Chang. The axiom of comprehension in infinite valued logic. Mathematica Scandinavica, vol. 13 , pp. 9–30. - Jens Erik Fenstad. On the consistency of the axiom of comprehension in the Łukasiewicz infinite valued logic. Mathematica Scandinavica, vol. 14 , pp. 65–74. - C. C. Chang. Infinite valued logic as a basis for set theory. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 93–100. [REVIEW]Azriel Lévy - 1967 - Journal of Symbolic Logic 32 (1):128-129.

Analytics

Added to PP
2014-03-30

Downloads
15 (#974,850)

6 months
1 (#1,515,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Embedding semigroups in groups: not as simple as it might seem.Christopher Hollings - 2014 - Archive for History of Exact Sciences 68 (5):641-692.

Add more citations

References found in this work

No references found.

Add more references