Works by Helmut Thiele

( view other items matching `Helmut Thiele`, view all matches )
4 found
Order:
  1.  8
    Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten.Helmut Thiele - 1956 - Mathematical Logic Quarterly 2 (5‐7):93-106.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  27
    Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten.Helmut Thiele - 1956 - Mathematical Logic Quarterly 2 (5-7):93-106.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  7
    Vollständigkeit im Stufenkalkül.Helmut Thiele - 1957 - Mathematical Logic Quarterly 3 (13‐20):211-224.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  22
    Vollständigkeit im Stufenkalkül.Helmut Thiele - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (13-20):211-224.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark