Bulletin of the Section of Logic
Tom 23 ( 1994), Nr 2

Wydawnictwo Uniwersytetu Łódzkiego
ISSN 0138-0680

Zaznaczone:

Decision problems for equational theories of relation algebras

Hajnal Andreka Steven Givant Istvan Nemeti
Stoic ``Undemonstrables'' and indirect-deduction theorems

Grzegorz Bryll Zofia Kostrzycka
Classical versions of BCI, BCK and BCIW logics

John K. Slaney Martin W. Bunder
On finitizing first order logic

Ildiko Sain
An adequate matrix tor the ``And Next'' calculus of G. H. von Wright

Józef Wajszczyk

Muzeum Historii
Polski w Warszawie

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