Works by Herre, H. (exact spelling)

( view other items matching `Herre, H.`, view all matches )
4 found
Order:
  1.  20
    Entscheidbarkeit Der Theorie Der Linearen Ordnung In LQ1.H. Herre & H. Wolter - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (18):273-282.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  24
    Entscheidbarkeit der Theorie der Linearen Ordnung inLQx für Reguläres ωx.H. Herre & H. Wolter - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (1-6):73-78.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  23
    Untersuchungen Zur Theorie der Linearen Ordnung in Logiken MIT Mächtigkeitsquantoren.H. Herre & H. Wolter - 1981 - Mathematical Logic Quarterly 27 (2-6):73-94.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  35
    Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren.H. Herre & A. G. Pinus - 1978 - Mathematical Logic Quarterly 24 (19-24):375-384.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation