10 found
Order:
  1. Zur Axiomatisierung Der Nicht‐Identitäten Des Aussagenkalküls.Klaus Härtig - 1960 - Mathematical Logic Quarterly 6 (15-22):240-247.
    Download  
     
    Export citation  
     
    Bookmark  
  2. Einstellige Funktionen Als Grundbegriffe der Elementaren Zahlentheorie.Klaus Härtig - 1959 - Mathematical Logic Quarterly 5 (14-24):209-215.
    Download  
     
    Export citation  
     
    Bookmark  
  3. Ein Spezialfall der Substitution als Grundbeziehung der Elementaren Semiotik.Klaus Härtig - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (11):151-156.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Explizite Definitionen einiger Eigenschaften von Zeichenreihen.Klaus Härtig - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):177-203.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Einbettung elementarer Theorien in endlich axiomatisierbare.Klaus Härtig - 1958 - Mathematical Logic Quarterly 4 (17-20):249-292.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Die «Identischen Urteile» der Syllogistik.Klaus Härtig - 1953 - Proceedings of the XIth International Congress of Philosophy 5:28-34.
    Download  
     
    Export citation  
     
    Bookmark  
  7. Über Einen Quantifikator Mit Zwei Wirk Ungsbereichen.Klaus Härtig - 1962 - In Colloquium on the Foundations of Mathematics, Mathematical Machines and their Applications.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Axiomatische Probleme in der Klassischen Syllogistik.Klaus Härtig - 1953 - In Bericht über die Mathematiker-Tagung in Berlin vom 14. bis 18. Januar 1953. pp. 19-20.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Rationelle Begründung des Kalküls mit Summenzeichen und Produktzeichen.Klaus Härtig & Harry Schmidt - manuscript
    Download  
     
    Export citation  
     
    Bookmark  
  10. Diplomarbeit.Klaus Härtig - 1950 - Dissertation,
    Download  
     
    Export citation  
     
    Bookmark