20 found
Order:
  1.  23
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   9 citations  
  2.  4
    Methoden zur Axiomatisierung beliebiger Aussagen‐ und Prädikatenkalküle.Karl Schröter - 1955 - Mathematical Logic Quarterly 1 (4):241-251.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   12 citations  
  3.  20
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  4.  19
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  5.  19
    Theorie des Bestimmten Artikels.Karl Schröter - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (1-4):37-56.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  6.  21
    Die Vollständigkeit der die Implikation enthaltenden zweiwertigen Aussagenkalküle und Prädikatenkalküle der ersten Stufe.Karl Schröter - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (6-10):81-107.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  20
    Ü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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  20
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  20
    Eine Umformung des Heytingschen Axiomensystems für den intuitionistischen Aussagenkalkül. Dem Andenken an Heinrich Scholz gewidmet.Karl Schröter - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (1-5):18-29.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  10
    Theorie des Bestimmten Artikels.Karl Schröter - 1956 - Mathematical Logic Quarterly 2 (1‐4):37-56.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  11.  5
    Theorie des logischen Schliessens II.Karl Schröter - 1958 - Mathematical Logic Quarterly 4 (1‐6):10-65.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  12.  11
    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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  6
    Methoden zur Axiomatisierung Beliebiger Aussagen- und Pradikatenkalkule.J. Barkley Rosser & Karl Schroter - 1970 - Journal of Symbolic Logic 35 (1):140.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  4
    Die Grundlagenfragen der Mathematik und die Philosophie.Karl Schröter - 1953 - Deutsche Zeitschrift für Philosophie 1 (1).
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  5
    Über Fragen der Logik.Günther Jacoby & Karl Schröter - 1953 - Deutsche Zeitschrift für Philosophie 1 (JG):619.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  3
    Über Fragen der Logik.Günther Jacoby & Karl Schröter - 1953 - Deutsche Zeitschrift für Philosophie 1 (1).
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  4
    Ü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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  3
    Die Grundlagenfragen der Mathematik und die Philosophie.Karl Schröter - 1953 - Deutsche Zeitschrift für Philosophie 1 (JG):119.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark