K. Schröter

From MaRDI portal
Person:2579577



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
scientific article; zbMATH DE number 3504887 (Why is no real title available?)1974-01-01Paper
Zur axiomatischen Festlegung des Gruppenbegriffs.
Journal für die reine und angewandte Mathematik (Crelles Journal)
1974-01-01Paper
scientific article; zbMATH DE number 3427236 (Why is no real title available?)1973-01-01Paper
scientific article; zbMATH DE number 3472027 (Why is no real title available?)1973-01-01Paper
scientific article; zbMATH DE number 3387276 (Why is no real title available?)1969-01-01Paper
Axiomatisierung der k‐zahlig allgemeingültigen Ausdrücke des Stufenkalküls.Dem Andenken an Hermann Ludwig Schmid gewidmet
Mathematische Nachrichten
1958-01-01Paper
Theorie des logischen Schliessens II
Mathematical Logic Quarterly
1958-01-01Paper
Die Vollständigkeit der die Implikation enthaltenden zweiwertigen Aussagenkalküle und Prädikatenkalküle der ersten Stufe
Mathematical Logic Quarterly
1957-01-01Paper
Eine Umformung des Heytingschen Axiomensystems für den intuitionistischen Aussagenkalkül. Dem Andenken an Heinrich Scholz gewidmet
Mathematical Logic Quarterly
1957-01-01Paper
Theorie des Bestimmten Artikels
Mathematical Logic Quarterly
1956-01-01Paper
Über den Zusammenhang der in den Implikationsaxiomen vollständigen Axiomensysteme des zweiwertigen mit denen des intuitionistischen Aussagenkalküls
Mathematical Logic Quarterly
1956-01-01Paper
Die Unabhängigkeit der elementaren prädikatenlogischen Schlussregeln
Mathematical Logic Quarterly
1956-01-01Paper
Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1955-01-01Paper
Theorie des logischen Schliessens I
Mathematical Logic Quarterly
1955-01-01Paper
scientific article; zbMATH DE number 3082558 (Why is no real title available?)1953-01-01Paper
Deduktiv abgeschlossene Mengen ohne Basis
Mathematische Nachrichten
1952-01-01Paper
Der Nutzen der Mathematischen Logik für die Mathematik
Archiv für Mathematische Logik und Grundlagenforschung
1950-01-01Paper
Die Arithmetik der natürlichen Zahlen im Rahmen der Theorie der Verbände
Mathematische Annalen
1948-01-01Paper
scientific article; zbMATH DE number 3044121 (Why is no real title available?)1945-01-01Paper
Was ist eine mathematische Theorie,
Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
1943-01-01Paper
Ein allgemeiner Kalkülbegriff.1941-01-01Paper
scientific article; zbMATH DE number 3041874 (Why is no real title available?)1941-01-01Paper


Research outcomes over time


This page was built for person: K. Schröter