K. Schröter

Available identifiers

zbMath Open schroter.karlWikidataQ1639323 ScholiaQ1639323MaRDI QIDQ2579577

List of research outcomes

Publication	Date of Publication	Type
Zur axiomatischen Festlegung des Gruppenbegriffs.	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4085673	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
Theorie des logischen Schliessens II	1958-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
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
Die Unabhängigkeit der elementaren prädikatenlogischen Schlussregeln	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
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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