7 found
Order:
  1.  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  
  2.  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  
  3.  16
    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.
  4.  13
    Proof of Some Theorems on Recursively Enumerable Sets.Thoralf Skolem - 1962 - Notre Dame Journal of Formal Logic 3 (2):65-74.
  5.  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  
  6. Ein Satz Uber Die Erfullbarkeit von Einigen Zahlausdrucken der Form K 1 & K 2.Thoralf Skolem - 1936 - Journal of Symbolic Logic 1 (3):111-111.
     
    Export citation  
     
    Bookmark  
  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.