| Publication | Date of Publication | Type |
|---|
| A concise introduction to mathematical logic | 2009-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3515180 | 2008-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5310352 | 2007-10-10 | Paper |
| Willem Blok and modal logic | 2006-10-27 | Paper |
| A concise introduction to mathematical logic | 2006-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531074 | 2002-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5689038 | 1997-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4315291 | 1994-12-06 | Paper |
| Gödel's completeness theorem | 1994-03-23 | Paper |
| On reduced matrices | 1993-05-16 | Paper |
| Axiomatizing logics closely related to varieties | 1992-09-27 | Paper |
| Strongly finitely based equational theories | 1992-06-27 | Paper |
| Common Logic of 2‐Valued Semigroup Connectives | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3978786 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3348883 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3201036 | 1990-01-01 | Paper |
| A calculus for the common rules of \(\wedge\) and \(\vee\) | 1989-01-01 | Paper |
| Axiomatization of semigroup consequences | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3826531 | 1989-01-01 | Paper |
| Über den Cantor-Bernsteinschen Äquivalenzsatz. (On the Cantor- Bernstein theorem) | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3830984 | 1987-01-01 | Paper |
| Zur Approximation von e durch \((1+1/n)^ n\). (On the approximation of e by \((1+1/n)^ n)\) | 1986-01-01 | Paper |
| Applications of weak Kripke semantics to intermediate consequences | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3708781 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3760525 | 1985-01-01 | Paper |
| Modal tableau calculi and interpolation | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3318745 | 1982-01-01 | Paper |
| 2-element matrices | 1981-01-01 | Paper |
| Splitting lattices of logics | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3858239 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3859712 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198726 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198725 | 1978-01-01 | Paper |
| Der Verband der normalen verzweigten Modallogiken | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4189275 | 1977-01-01 | Paper |
| Model-interpretability into trees and applications | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4073338 | 1975-01-01 | Paper |
| Entscheidungsprobleme der Theorie zweier Äquivalenzrelationen mit beschränkter Zahl vоn Elementen in den Klassen | 1974-01-01 | Paper |
| Definability in structures of finite valency | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4060932 | 1972-01-01 | Paper |
| Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie II | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5654005 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5665190 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5680120 | 1972-01-01 | Paper |
| Interpretierbarkeit in der Gruppentheorie | 1971-01-01 | Paper |
| Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie I | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5183481 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5183486 | 1970-01-01 | Paper |
| Axiomatische Theorie der Translationsgruppen affiner Räume und Translationsebenen | 1970-01-01 | Paper |
| Euklidische und Minkowskische Orthogonalitätsrelationen | 1969-01-01 | Paper |
| ORTHOGONALITÄTSRELATIONEN IN DER AFFINEN GEOMETRIE | 1969-01-01 | Paper |
| Nichtdefinierbarkeit der Multiplikation in Dividierbaren Ringen | 1968-01-01 | Paper |
| Unterscheidbarkeit Endlicher Geordneter Mengen mit Gegebener Anzahl von Quantoren | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5556406 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5607977 | 1967-01-01 | Paper |
| Über Hilberts Schnittpunktsätze | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5567865 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5341364 | 1965-01-01 | Paper |
| Beweis Des Kommutativgesetzes in Elementar‐Archimedisch Geordneten Gruppen | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5554951 | 1965-01-01 | Paper |
| Konstruktionen in der hyperbolischen Geometrie | 1963-01-01 | Paper |
| Bemerkung Zur Axiomatik Der Vektorgeometrie | 1963-01-01 | Paper |
| Über Metatheoretische Eigenschaften Einiger Geometrischer Theorien | 1962-01-01 | Paper |
| Unentscheidbarkeit Der Euklidischen Inzidenzgeometrie | 1961-01-01 | Paper |
| Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle | 1960-01-01 | Paper |
