Bulletin of the Section of Logic
Tom 26 ( 1997), Nr 1

Wydawnictwo Uniwersytetu Łódzkiego
ISSN 0138-0680

Zaznaczone:

Equational reasoning in non-classical logics

Marcelo F. Frias Ewa Orłowska
Representation theorems for hypergraph satisfiability

Adam Kolany
Is fork set-theoretical?

Paulo A.S. Veloso
Catalizer of binary relations and the fork operator as image of a general disjoint union-function of a cartesian product functions

Mauricio Pablo Marlangeon
A class of modal logics with a finite model property with respect to the set of M-formulae

Stephane Demri Ewa Orłowska
On negatively restricting Boolean algebras

R. Zuber

Muzeum Historii
Polski w Warszawie

Materiały zamieszczone na stronie są dostępna na licencji CC BY-SA
Projekt graficzny serwisu: Veshch