Works by Thoralf Skolem

( view other items matching `Thoralf Skolem`, view all matches )
8 found
Order:
  1.  11
    Mathematical interpretation of formal systems.Thoralf Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin & J. Łoś (eds.) - 1955 - Amsterdam: North-Holland Pub. Co..
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  21
    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.  13
    Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet.Thoralf Skolem - 1957 - Mathematical Logic Quarterly 3 (1‐5):1-17.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  34
    Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet.Thoralf Skolem - 1957 - Mathematical Logic Quarterly 3 (1-5):1-17.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  21
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  21
    Proof of some theorems on recursively enumerable sets.Thoralf Skolem - 1962 - Notre Dame Journal of Formal Logic 3 (2):65-74.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  7
    Sobre la naturaleza del razonamiento matemático.Th Skolem - 1952 - Madrid,: [Instituto de Matemáticas "Jorge Juan"].
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  12
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark