7 found
Order:
  1.  1
    Mathematical Interpretation of Formal Systems.Thoralf Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin & J. Łoś (eds.) - 1955 - Amsterdam, Netherlands: North-Holland Pub. Co..
  2.  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   7 citations  
  3.  10
    Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet.Thoralf Skolem - 1957 - Mathematical Logic Quarterly 3 (1‐5):1-17.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  4.  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  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  5.  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.
  6.  13
    Proof of Some Theorems on Recursively Enumerable Sets.Thoralf Skolem - 1962 - Notre Dame Journal of Formal Logic 3 (2):65-74.
  7.  9
    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.