Works by Karl Schroter

( view other items matching `Karl Schroter`, view all matches )
9 found
Order:
  1.  11
    (2 other versions)Methoden zur Axiomatisierung beliebiger Aussagen‐ und Prädikatenkalküle.Karl Schröter - 1955 - Mathematical Logic Quarterly 1 (4):241-251.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  2.  29
    (3 other versions)Theorie des logischen Schliessens I.Karl Schröter - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (1):37-86.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  49
    Theorie des Bestimmten Artikels.Karl Schröter - 1956 - Mathematical Logic Quarterly 2 (1-4):37-56.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  29
    Über Fragen der Logik.Günther Jacoby & Karl Schröter - 1953 - Deutsche Zeitschrift für Philosophie 1 (1):619.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  15
    (1 other version)Über den Zusammenhang der in den Implikationsaxiomen vollständigen Axiomensysteme des zweiwertigen mit denen des intuitionistischen Aussagenkalküls.Karl Schröter - 1956 - Mathematical Logic Quarterly 2 (10‐15):173-176.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  23
    Die Grundlagenfragen der Mathematik und die Philosophie.Karl Schröter - 1953 - Deutsche Zeitschrift für Philosophie 1 (1):119.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  34
    (1 other version)Die Unabhängigkeit der elementaren prädikatenlogischen Schlussregeln.Karl Schröter - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):218-227.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  52
    Die Vollständigkeit der die Implikation enthaltenden zweiwertigen Aussagenkalküle und Prädikatenkalküle der ersten Stufe.Karl Schröter - 1957 - Mathematical Logic Quarterly 3 (6-10):81-107.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  51
    Eine Umformung des Heytingschen Axiomensystems für den intuitionistischen Aussagenkalkül. Dem Andenken an Heinrich Scholz gewidmet.Karl Schröter - 1957 - Mathematical Logic Quarterly 3 (1-5):18-29.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark