| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 847981 (Why is no real title available?)
| 1996-02-26 | Paper |
scientific article; zbMATH DE number 512987 (Why is no real title available?)
| 1994-03-10 | Paper |
scientific article; zbMATH DE number 465520 (Why is no real title available?)
| 1993-12-12 | Paper |
scientific article; zbMATH DE number 149516 (Why is no real title available?)
| 1993-04-01 | Paper |
scientific article; zbMATH DE number 92609 (Why is no real title available?)
| 1993-01-16 | Paper |
scientific article; zbMATH DE number 35426 (Why is no real title available?)
| 1992-06-28 | Paper |
scientific article; zbMATH DE number 23766 (Why is no real title available?)
| 1992-06-26 | Paper |
scientific article; zbMATH DE number 4060787 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 3978447 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4004159 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3934439 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3986682 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3932435 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3932436 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3936551 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3924168 (Why is no real title available?)
| 1985-01-01 | Paper |
Logical foundation approach to users' domain restriction in data bases
Theoretical Computer Science | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3837996 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3689368 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3761988 (Why is no real title available?)
| 1979-01-01 | Paper |
Applications of Kripke models to Heyting-Brouwer logic
Studia Logica | 1977-01-01 | Paper |
Model theory for an extension of intuitionistic logic
Studia Logica | 1977-01-01 | Paper |
An algebraic approach to the Heyting-Brouwer predicate calculus
Fundamenta Mathematicae | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3561302 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3534466 (Why is no real title available?)
| 1976-01-01 | Paper |
Notes on the Rasiowa-Sikorski lemma
Studia Logica | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3484051 (Why is no real title available?)
| 1975-01-01 | Paper |
A formalization of the propositional calculus of H-B logic
Studia Logica | 1974-01-01 | Paper |
Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
Fundamenta Mathematicae | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3360166 (Why is no real title available?)
| 1971-01-01 | Paper |
