| Publication | Date of Publication | Type |
|---|
A concise introduction to mathematical logic
Universitext | 2009-11-18 | Paper |
| Introduction to mathematical logic. A textbook | 2008-07-29 | Paper |
| scientific article; zbMATH DE number 5199394 (Why is no real title available?) | 2007-10-10 | Paper |
Willem Blok and modal logic
Studia Logica | 2006-10-27 | Paper |
A concise introduction to mathematical logic
Universitext | 2006-06-14 | Paper |
| scientific article; zbMATH DE number 1746885 (Why is no real title available?) | 2002-05-29 | Paper |
| scientific article; zbMATH DE number 970832 (Why is no real title available?) | 1997-01-23 | Paper |
| scientific article; zbMATH DE number 700093 (Why is no real title available?) | 1994-12-06 | Paper |
Gödel's completeness theorem
Mathematische Semesterberichte | 1994-03-23 | Paper |
On reduced matrices
Studia Logica | 1993-05-16 | Paper |
Axiomatizing logics closely related to varieties
Studia Logica | 1992-09-27 | Paper |
Strongly finitely based equational theories
Algebra Universalis | 1992-06-27 | Paper |
Common Logic of 2‐Valued Semigroup Connectives
Mathematical Logic Quarterly | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 12906 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4200166 (Why is no real title available?) | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4177029 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4101153 (Why is no real title available?) | 1989-01-01 | Paper |
Axiomatization of semigroup consequences
Archive for Mathematical Logic | 1989-01-01 | Paper |
A calculus for the common rules of \(\wedge\) and \(\vee\)
Studia Logica | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4106819 (Why is no real title available?) | 1987-01-01 | Paper |
Über den Cantor-Bernsteinschen Äquivalenzsatz. (On the Cantor- Bernstein theorem)
Mathematische Semesterberichte | 1987-01-01 | Paper |
Zur Approximation von e durch \((1+1/n)^ n\). (On the approximation of e by \((1+1/n)^ n)\)
Mathematische Semesterberichte | 1986-01-01 | Paper |
Applications of weak Kripke semantics to intermediate consequences
Studia Logica | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3935011 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4010500 (Why is no real title available?) | 1985-01-01 | Paper |
Modal tableau calculi and interpolation
Journal of Philosophical Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3849196 (Why is no real title available?) | 1982-01-01 | Paper |
2-element matrices
Studia Logica | 1981-01-01 | Paper |
Splitting lattices of logics
Archiv für Mathematische Logik und Grundlagenforschung | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3659563 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3637821 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3661259 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3637820 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3627177 (Why is no real title available?) | 1977-01-01 | Paper |
Der Verband der normalen verzweigten Modallogiken
Mathematische Zeitschrift | 1977-01-01 | Paper |
Model-interpretability into trees and applications
Archiv für Mathematische Logik und Grundlagenforschung | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3490911 (Why is no real title available?) | 1975-01-01 | Paper |
Entscheidungsprobleme der Theorie zweier Äquivalenzrelationen mit beschränkter Zahl vоn Elementen in den Klassen
Fundamenta Mathematicae | 1974-01-01 | Paper |
Definability in structures of finite valency
Fundamenta Mathematicae | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3415840 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3477099 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3383966 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3397537 (Why is no real title available?) | 1972-01-01 | Paper |
Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie II
Mathematical Logic Quarterly | 1972-01-01 | Paper |
Interpretierbarkeit in der Gruppentheorie
Algebra Universalis | 1971-01-01 | Paper |
Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie I
Mathematical Logic Quarterly | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3432242 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3432248 (Why is no real title available?) | 1970-01-01 | Paper |
Axiomatische Theorie der Translationsgruppen affiner Räume und Translationsebenen
Mathematische Nachrichten | 1970-01-01 | Paper |
Euklidische und Minkowskische Orthogonalitätsrelationen
Fundamenta Mathematicae | 1969-01-01 | Paper |
ORTHOGONALITÄTSRELATIONEN IN DER AFFINEN GEOMETRIE
Mathematical Logic Quarterly | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3271483 (Why is no real title available?) | 1968-01-01 | Paper |
Nichtdefinierbarkeit der Multiplikation in Dividierbaren Ringen
Mathematical Logic Quarterly | 1968-01-01 | Paper |
Unterscheidbarkeit Endlicher Geordneter Mengen mit Gegebener Anzahl von Quantoren
Mathematical Logic Quarterly | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3329884 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3285226 (Why is no real title available?) | 1966-01-01 | Paper |
Über Hilberts Schnittpunktsätze
Mathematical Logic Quarterly | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3214155 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3269856 (Why is no real title available?) | 1965-01-01 | Paper |
Beweis Des Kommutativgesetzes in Elementar‐Archimedisch Geordneten Gruppen
Mathematical Logic Quarterly | 1965-01-01 | Paper |
Konstruktionen in der hyperbolischen Geometrie
Mathematische Nachrichten | 1963-01-01 | Paper |
Bemerkung Zur Axiomatik Der Vektorgeometrie
Mathematical Logic Quarterly | 1963-01-01 | Paper |
Über Metatheoretische Eigenschaften Einiger Geometrischer Theorien
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1962-01-01 | Paper |
Unentscheidbarkeit Der Euklidischen Inzidenzgeometrie
Mathematical Logic Quarterly | 1961-01-01 | Paper |
Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle
Mathematical Logic Quarterly | 1960-01-01 | Paper |
