Order:
Disambiguations
Th Skolem [63]Thoralf Skolem [17]
  1.  18
    Einführungin die operative Logik und Mathematik.Th Skolem - 1957 - Zeitschrift für Philosophische Forschung 11 (4):631-633.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   36 citations  
  2. Selected Works in Logic.Th Skolem & Jens Erik Fenstad - 1970 - Universitetsforlaget.
  3. Mathematical Interpretation of Formal Systems.Th Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, H. Wang, L. Henkin & J. Łoś (eds.) - 1955 - North-Holland Pub. Co..
  4.  29
    Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet.Thoralf Skolem - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (1-5):1-17.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  5.  21
    Studies on the Axiom of Comprehension.Th Skolem - 1963 - Notre Dame Journal of Formal Logic 4 (3):162-170.
  6.  6
    Einführung in Die Operative Logik Und Mathematik.Th Skolem - 1957 - Journal of Symbolic Logic 22 (3):289-290.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  9
    Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet.Thoralf Skolem - 1957 - Mathematical Logic Quarterly 3 (1‐5):1-17.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  8.  7
    Review: Sara Turing, Alan M. Turing. [REVIEW]Th Skolem - 1960 - Journal of Symbolic Logic 25 (2):161-162.
  9.  14
    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.
  10.  12
    Proof of Some Theorems on Recursively Enumerable Sets.Thoralf Skolem - 1962 - Notre Dame Journal of Formal Logic 3 (2):65-74.
  11.  13
    Review: Ernest Nagel, James R. Newman, Godel's Proof. [REVIEW]Th Skolem - 1959 - Journal of Symbolic Logic 24 (3):222-222.
  12.  60
    The Logical Nature of Arithmetic.Th Skolem - 1955 - Synthese 9 (1):375 - 384.
  13.  10
    L'axiomatique.Th Skolem - 1956 - Les Etudes Philosophiques 11 (2):323-324.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  14.  19
    Turing Sara. Alan M. Turing. W. Heffer & Sons, Ltd., Cambridge 1959, Xiv + 157 Pp. [REVIEW]Th Skolem - 1960 - Journal of Symbolic Logic 25 (2):161-162.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  6
    Gödel's Proof.Th Skolem - 1958 - Journal of Symbolic Logic 24 (3):222-222.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  14
    Wedberg Anders. Filosofins historia. Antiken och medeltiden. Bonniers, Stockholm 1958, 197 pp. [REVIEW]Th Skolem - 1960 - Journal of Symbolic Logic 25 (3):258-259.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  16
    Review: J. Barkley Rosser, Hao Wang, Non-Standard Models for Formal Logics. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (2):145-146.
  18.  11
    Kreisel G.. Some Remarks on the Foundations of Mathematics. An Expository Article. The Mathematical Gazette, Vol. 35 , Pp. 23–28. [REVIEW]Th Skolem - 1954 - Journal of Symbolic Logic 19 (1):60-61.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  11
    Reviews. Anders Wedberg. Den Nya Logiken . Studentföreningen Verdandis Småskrifter Nos. 477, 478. Part I, 61 Pp., and Part II, 71 Pp.; Albert Bonniers Förlag, Stockholm 1945. [REVIEW]Th Skolem - 1948 - Journal of Symbolic Logic 13 (2):122-122.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  14
    Reduction of Axiom Systems with Axiom Schemes to Systems with Only Simple Axioms.Th Skolem - 1958 - Dialectica 12 (3‐4):443-450.
  21.  9
    Goodstein R. L.. Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam 1957, XII + 190 Pp. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (2):227-228.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  9
    Heyting A.. Sur la T'che de la Philosophie des Mathématiques. Actes du XIème Congrès International de Philosophie, Volume V, Logique, Analyse Philosophique, Philosophie des Mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, Pp. 193–198. [REVIEW]Th Skolem - 1954 - Journal of Symbolic Logic 19 (3):225-225.
  23.  9
    Jørgensen Jørgen. Indledning Til Logikken Og Metodelæren . Ejnar Munksgaard, Copenhagen 1942, 88 Pp. [REVIEW]Th Skolem - 1947 - Journal of Symbolic Logic 12 (3):88-89.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  9
    Novak I. L.. A Construction for Models of Consistent Systems. Fundamenta Mathematicae, Vol. 37 , Pp. 87–110.Th Skolem - 1951 - Journal of Symbolic Logic 16 (4):273-274.
  25.  3
    Lorenzen Paul. Einführung in die operative Logik und Mathematik. Die Grundlehren der mathematischen Wissenschaften, vol. 78. Springer-Verlag, Berlin-Göttingen-Heidelberg 1955, VII + 298 pp. [REVIEW]Th Skolem - 1957 - Journal of Symbolic Logic 22 (3):289-290.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  26.  10
    Review: Laszlo Kalmar, Janos Suranyi, On the Decision Problem. Third Paper. Pepis Prefix, a Single Binary Predicate. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (3):215-216.
  27.  8
    Copilowish Irving M.. Matrix Development of the Calculus of Relations. [REVIEW]Th Skolem - 1949 - Journal of Symbolic Logic 14 (2):137-137.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  8
    Kemeny John G.. Undecidable Problems of Elementary Number Theory. Mathematische Annalen, Vol. 135 , Pp. 160–169.Th Skolem - 1958 - Journal of Symbolic Logic 23 (3):359-360.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  8
    Rosser J. Barkley and Wang Hao. Non-Standard Models for Formal Logics. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (2):145-146.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  13
    Review: G. Kreisel, Some Remarks on the Foundations of Mathematics. An Expository Article. [REVIEW]Th Skolem - 1954 - Journal of Symbolic Logic 19 (1):60-61.
  31.  12
    Review: R. L. Goodstein, Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (2):227-228.
  32.  3
    Uber Gewisse "Verbande" oder "Lattices.".Garrett Birkhoff & Th Skolem - 1937 - Journal of Symbolic Logic 2 (1):50.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  33.  7
    Beth E. W.. Observations Métamathématiques Sur les Structures Simplement Ordonnées. Applications Scientifiques de la Logique Mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A No. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, Pp. 29–35.Robinson A. And Beth E. W.. Discussion. Applications Scientifiques de la Logique Mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A No. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, P. 35. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (1):34-35.
  34.  7
    Mostowski Andrzej. Proofs of Non-Deducibility in Intuitionistic Functional Calculus. [REVIEW]Th Skolem - 1949 - Journal of Symbolic Logic 14 (2):137-137.
  35.  10
    Review: Robert Blanche, L'Axiomatique. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (4):438-439.
  36.  10
    Review: John G. Kemeny, Undecidable Problems of Elementary Number Theory. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (3):359-360.
  37.  6
    Kalmár László and Surányi János. On the Decision Problem. Third Paper. Pepis Prefix, a Single Binary Predicate. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (3):215-216.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  6
    Mostowski Andrzej Correction to the Paper “Some Impredicative Definitions in the Axiomatic Set-Theory.” Fundamenta Mathematicae, Vol. 38 , P. 238. [REVIEW]Th Skolem - 1953 - Journal of Symbolic Logic 18 (4):343-343.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  9
    Review: D. Van Dantzig, On the Principles of Intuitionistic and Affirmative Mathematics. [REVIEW]Th Skolem - 1948 - Journal of Symbolic Logic 13 (3):173-173.
  40.  5
    Behmann Heinrich. Zu den Parallelreihentransformationen in Schröders “Algebra und Logik der Relative”. Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 2 , pp. 52–62; also Archiv für Philosophie, vol. 4 no. 2 , pp. 212–222. [REVIEW]Th Skolem - 1955 - Journal of Symbolic Logic 20 (1):75-75.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  5
    Nagel Ernest and Newman James R.. Gödei's Proof. New York University Press, New York 1958, Ix + 118 Pp. [REVIEW]Th Skolem - 1959 - Journal of Symbolic Logic 24 (3):222-222.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  7
    Review: Jorgen Jorgensen, Introduction to Logic and Methodology. [REVIEW]Th Skolem - 1947 - Journal of Symbolic Logic 12 (3):88-89.
  43.  6
    Review: A. Heyting, Sur la Tache de la Philosophie des Mathematiques. [REVIEW]Th Skolem - 1954 - Journal of Symbolic Logic 19 (3):225-225.
  44.  1
    Review: Paul Lorenzen, Einfuhrung in Die Operative Logik Und Mathematik. [REVIEW]Th Skolem - 1957 - Journal of Symbolic Logic 22 (3):289-290.
  45.  4
    Bemerkungen Zum Komprehensionsaxiom.Thoralf Skolem, C. C. Chang & Jens Erik Fenstad - 1967 - Journal of Symbolic Logic 32 (1):128-129.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  8
    Addendum to My Article: ``Proof of Some Theorems on Recursively Enumerable Sets''.Thoralf Skolem - 1963 - Notre Dame Journal of Formal Logic 4 (1):44-47.
  47.  3
    Review: David Nelson, Constructible Falsity. [REVIEW]Th Skolem - 1950 - Journal of Symbolic Logic 15 (3):228-228.
  48.  3
    Review: Karl Egil Aubert, An Exact Account and a Generalization of the Concept of Relation. [REVIEW]Th Skolem - 1955 - Journal of Symbolic Logic 20 (3):278-279.
  49.  3
    Review: Andrzej Mostowski, Some Impredicative Definitions in the Axiomatic Set-Theory. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (4):274-275.
  50.  2
    Aubert Karl Egil. Om presisering og generalisering av relasjonsbegrepet . Norsk matematisk tidsskrift, vol. 30 , pp. 33–53. [REVIEW]Th Skolem - 1955 - Journal of Symbolic Logic 20 (3):278-279.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 66