Bulletin of the Section of Logic
Tom 5 ( 1976), Nr 4

Wydawnictwo Uniwersytetu Łódzkiego
ISSN 0138-0680

Zaznaczone:

Remarks on Hallden completeness of modal and intermediate logics

Andrzej Wroński
The number of isomorphism types of subdirectly indecomposable pseudo-Boolean algebras

Andrzej Wroński
Relevant arithmetic

Robert K. Meyer
Ackermann, Takeuti, und schnitt: γ for higher-order relevant logics

Robert K. Meyer
A new proof of structural completeness of Lukasiewicz's logic

piotr Wojtylak
On structural completeness of the infinite-valued Lukasiewicz's propositional calculus

Piotr Wojtylak

Muzeum Historii
Polski w Warszawie

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