Works by Helmut Vogel

( view other items matching `Helmut Vogel`, view all matches )
Order:
  1.  16
    (1 other version)Ausgezeichnete Folgen Für Prädikative Ordinalzahlen und Prädikativ‐Rekursive Funktionen.Helmut Vogel - 1976 - Mathematical Logic Quarterly 23 (27‐30):435-438.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  14
    (1 other version)Über ein mit der Bar‐Induktion Verwandtes Schema.Helmut Vogel - 1979 - Mathematical Logic Quarterly 25 (30):465-473.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark