K. Schröter

Available identifiers

zbMath Open schroter.karlWikidataQ1639323 ScholiaQ1639323MaRDI QIDQ2579577

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4085673	1974-01-01	Paper
Zur axiomatischen Festlegung des Gruppenbegriffs.	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3214835	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4055624	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5656723	1969-01-01	Paper
Axiomatisierung der k‐zahlig allgemeingültigen Ausdrücke des Stufenkalküls.Dem Andenken an Hermann Ludwig Schmid gewidmet	1958-01-01	Paper
Theorie des logischen Schliessens II	1958-01-01	Paper
Die Vollständigkeit der die Implikation enthaltenden zweiwertigen Aussagenkalküle und Prädikatenkalküle der ersten Stufe	1957-01-01	Paper
Eine Umformung des Heytingschen Axiomensystems für den intuitionistischen Aussagenkalkül. Dem Andenken an Heinrich Scholz gewidmet	1957-01-01	Paper
Theorie des Bestimmten Artikels	1956-01-01	Paper
Über den Zusammenhang der in den Implikationsaxiomen vollständigen Axiomensysteme des zweiwertigen mit denen des intuitionistischen Aussagenkalküls	1956-01-01	Paper
Die Unabhängigkeit der elementaren prädikatenlogischen Schlussregeln	1956-01-01	Paper
Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle	1955-01-01	Paper
Theorie des logischen Schliessens I	1955-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5821418	1953-01-01	Paper
Deduktiv abgeschlossene Mengen ohne Basis	1952-01-01	Paper
Der Nutzen der Mathematischen Logik für die Mathematik	1950-01-01	Paper
Die Arithmetik der natürlichen Zahlen im Rahmen der Theorie der Verbände	1948-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5784326	1945-01-01	Paper
Was ist eine mathematische Theorie,	1943-01-01	Paper
Ein allgemeiner Kalkülbegriff.	1941-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5781188	1941-01-01	Paper

Research outcomes over time

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