Order:
Disambiguations
Th Skolem [63]Thoralf Skolem [17]
  1. Selected Works in Logic.Th Skolem & Jens Erik Fenstad - 1970 - Universitetsforlaget.
  2.  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  
  3.  23
    Studies on the Axiom of Comprehension.Th Skolem - 1963 - Notre Dame Journal of Formal Logic 4 (3):162-170.
  4.  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  
  5.  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  
  6.  31
    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  
  7.  17
    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.
  8.  13
    Proof of Some Theorems on Recursively Enumerable Sets.Thoralf Skolem - 1962 - Notre Dame Journal of Formal Logic 3 (2):65-74.
  9.  11
    L'axiomatique.Th Skolem - 1956 - Les Etudes Philosophiques 11 (2):323-324.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  10.  8
    Gödel's Proof.Th Skolem - 1958 - Journal of Symbolic Logic 24 (3):222-222.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  5
    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   1 citation  
  12.  4
    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  
  13.  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  
  14.  1
    Review: Paul Lorenzen, Einfuhrung in Die Operative Logik Und Mathematik. [REVIEW]Th Skolem - 1957 - Journal of Symbolic Logic 22 (3):289-290.
  15.  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  
  16.  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.
  17.  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  
  18.  3
    Blanché Robert. L'axiomatique. Presses Universitaires de France, Paris 1955, Title Pages + 102 Pp. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (4):438-439.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  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  
  20.  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.
  21.  11
    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.
  22.  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  
  23.  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  
  24.  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  
  25.  7
    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  
  26.  8
    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  
  27.  7
    Mostowski Andrzej. Proofs of Non-Deducibility in Intuitionistic Functional Calculus. [REVIEW]Th Skolem - 1949 - Journal of Symbolic Logic 14 (2):137-137.
  28. Mostowski Andrzej. Some Impredicative Definitions in the Axiomatic Set-Theory. Fundamenta Mathematicae, Vol. 37 , Pp. 111–124. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (4):274-275.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29. 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..
  30. Marc-Wogau. Konrad. Modern Logik. Elementär Lärobok. Ehlins Handböcker, Stockholm 1950, 211 Pp. [With Separate Sheet of Rättelser .]. [REVIEW]Th Skolem - 1952 - Journal of Symbolic Logic 17 (4):288-288.
  31. Nelson David. Constructible Falsity.Th Skolem - 1950 - Journal of Symbolic Logic 15 (3):228-228.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  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  
  33.  12
    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.
  34.  7
    Review: A. Heyting, Sur la Tache de la Philosophie des Mathematiques. [REVIEW]Th Skolem - 1954 - Journal of Symbolic Logic 19 (3):225-225.
  35. Review: Andrzej Mostowski, Proofs of Non-Deducibility in Intuitionistic Functional Calculus. [REVIEW]Th Skolem - 1949 - Journal of Symbolic Logic 14 (2):137-137.
  36.  5
    Review: Andrzej Mostowski, Some Impredicative Definitions in the Axiomatic Set-Theory. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (4):274-275.
  37.  1
    Review: Andrzej Mostowski, Correction to the Paper "Some Impredicative Definitions in the Axiomatic Set-Theory.". [REVIEW]Th Skolem - 1953 - Journal of Symbolic Logic 18 (4):343-343.
  38.  1
    Review: Alfred Tarski, A Problem Concerning the Notion of Definability. [REVIEW]Th Skolem - 1948 - Journal of Symbolic Logic 13 (3):172-173.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  3
    Review: Anders Wedberg, The New Logic. [REVIEW]Th Skolem - 1948 - Journal of Symbolic Logic 13 (2):122-122.
  40.  14
    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  
  41.  11
    Review: David Nelson, Constructible Falsity. [REVIEW]Th Skolem - 1950 - Journal of Symbolic Logic 15 (3):228-228.
  42.  13
    Review: D. Van Dantzig, On the Principles of Intuitionistic and Affirmative Mathematics. [REVIEW]Th Skolem - 1948 - Journal of Symbolic Logic 13 (3):173-173.
  43.  13
    Review: Ernest Nagel, James R. Newman, Godel's Proof. [REVIEW]Th Skolem - 1959 - Journal of Symbolic Logic 24 (3):222-222.
  44. Review: E. W. Beth, Observations Metamathematiques sur les Structures Simplement Ordonnees. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (1):34-35.
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  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.
  46.  3
    Review: I. L. Novak, A Construction for Models of Consistent Systems. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (4):273-274.
  47.  1
    Review: Irving M. Copilowish, Matrix Development of the Calculus of Relations. [REVIEW]Th Skolem - 1949 - Journal of Symbolic Logic 14 (2):137-137.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  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.
  49.  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  
  50. Robinson Julia. Definability and Decision Problems in Arithmetic.Th Skolem - 1950 - Journal of Symbolic Logic 15 (1):68-69.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 65