Thoralf Skolem Pioneer of Computational Logic

Nordic Journal of Philosophical Logic 1 (2):107-117 (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: 91,423

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

Sur la Porté du Théorème Löwenheim-Skolem.Thoralf Skolem - 1941 - In Selected Works in Logic. Universitetsforlaget. pp. 455--82.
Thoralf Skolem and the epsilon substitution method for predicate logic.Grigori Mints - 1996 - Nordic Journal of Philosophical Logic 1 (2):133-146.
Über einige Grundlagenfragen der Mathematik.Thoralf Skolem - 1929 - In Selected Works in Logic. Universitetsforlaget. pp. 227--73.
Thoralf Albert Skolem.Jens Erik Fenstad & Hao Wang - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 127-194.
Une Relativisation des Notions Mathématiques Fondamentales.Thoralf Skolem - 1958 - In E. J. Fenstad (ed.), Selected Works in Logic (1970). Universitetsforlaget. pp. 633--8.
Review: Thoralf A. Skolem, Abstract Set Theory. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):680-680.
Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet.Thoralf Skolem - 1957 - Mathematical Logic Quarterly 3 (1‐5):1-17.
Interpretation of Mathematical Theories in the First Order Predicate Calculus.Thoralf Skolem - 1961 - In Selected Works in Logic. Universitetsforlaget. pp. 673--80.
Review: Thoralf Skolem, The Development of Recursive Arithmetic. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (1):54-54.
Proof of some theorems on recursively enumerable sets.Thoralf Skolem - 1962 - Notre Dame Journal of Formal Logic 3 (2):65-74.
Einige Bemerkungen zu der Abhandlung von E.~Zermelo: ӆber die Definitheit in der Axiomatik'.Thoralf Skolem - 1930 - In Selected Works in Logic. Universitetsforlaget. pp. 276--9.
From Peirce to Skolem: a neglected chapter in the history of logic.Geraldine Brady - 2000 - New York: North-Holland/Elsevier Science BV.
Investigations on a comprehension axiom without negation in the defining propositional functions.Thoralf Skolem - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):13-22.

Analytics

Added to PP
2014-03-30

Downloads
19 (#781,160)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Geometrisation of first-order logic.Roy Dyckhoff & Sara Negri - 2015 - Bulletin of Symbolic Logic 21 (2):123-163.

Add more citations

References found in this work

Selected works in logic.Th Skolem & Jens Erik Fenstad - 1970 - Oslo,: Universitetsforlaget. Edited by Jens Erik Fenstad.
Selected Works in Logic. [REVIEW]Warren D. Goldfarb - 1971 - Journal of Philosophy 68 (17):520-530.

Add more references