Cecylia Rauszer

Available identifiers

zbMath Open rauszer.cecylia-mMaRDI QIDQ787690

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4867028	1996-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4281696	1994-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4271915	1993-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q4032307	1993-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4018075	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q3989950	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3982058	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3795305	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3742766	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3755436	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3706523	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3750154	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3704924	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3704925	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3707434	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3698336	1985-01-01	Paper
Logical foundation approach to users' domain restriction in data bases	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3309811	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3884093	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3944541	1979-01-01	Paper
Applications of Kripke models to Heyting-Brouwer logic	1977-01-01	Paper
Model theory for an extension of intuitionistic logic	1977-01-01	Paper
An algebraic approach to the Heyting-Brouwer predicate calculus	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133941	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4110980	1976-01-01	Paper
Notes on the Rasiowa-Sikorski lemma	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4067097	1975-01-01	Paper
A formalization of the propositional calculus of H-B logic	1974-01-01	Paper
Semi-Boolean algebras and their applications to intuitionistic logic with dual operations	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5633993	1971-01-01	Paper

Research outcomes over time

This page was built for person: Cecylia Rauszer