21 found
Order:
  1.  6
    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.  25
    Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle.Karl Schröter - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):241-251.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  3.  26
    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  
  4.  6
    Theorie des logischen Schliessens II.Karl Schröter - 1958 - Mathematical Logic Quarterly 4 (1‐6):10-65.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  11
    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  
  6.  20
    Theorie des logischen Schliessens II.Karl Schröter - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (1-6):10-65.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  9
    Über Fragen der Logik.Günther Jacoby & Karl Schröter - 1953 - Deutsche Zeitschrift für Philosophie 1 (JG):619.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  8
    Über Fragen der Logik.Günther Jacoby & Karl Schröter - 1953 - Deutsche Zeitschrift für Philosophie 1 (1).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  11
    Methoden zur Axiomatisierung Beliebiger Aussagen- und Pradikatenkalkule.J. Barkley Rosser & Karl Schroter - 1970 - Journal of Symbolic Logic 35 (1):140.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Anfänge der kunst im tierreich und bei zwergvölkern.Karl Schröter - 1914 - Leipzig,: R. Voigtländer.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  5
    Ü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  
  12.  22
    Über den Zusammenhang der in den Implikationsaxiomen vollständigen Axiomensysteme des zweiwertigen mit denen des intuitionistischen Aussagenkalküls.Karl Schröter - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):173-176.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  7
    Die Grundlagenfragen der Mathematik und die Philosophie.Karl Schröter - 1953 - Deutsche Zeitschrift für Philosophie 1 (1).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  4
    Die Grundlagenfragen der Mathematik und die Philosophie.Karl Schröter - 1953 - Deutsche Zeitschrift für Philosophie 1 (JG):119.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  25
    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  
  16.  5
    Die Unabhängigkeit der elementaren prädikatenlogischen Schlussregeln.Karl Schröter - 1956 - Mathematical Logic Quarterly 2 (10‐15):218-227.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  22
    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  
  18.  10
    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  
  19.  15
    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  
  20.  20
    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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  22
    Theorie des Bestimmten Artikels.Karl Schröter - 1956 - Mathematical Logic Quarterly 2 (1-4):37-56.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation