TYTUŁ
Bulletin of the Section of Logic
1984 / Tom 13 / Numer 1
Wybierz inny
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
An algebra of subsets for join-semilattices with units. 1 - 3CZYSTY TEKSTBIBTEX
-
A generalization of the interpolation theorem for the many sorted calculuss. 2 - 8CZYSTY TEKSTBIBTEX
-
On BCK-algebras with the operation (S)s. 13 - 17CZYSTY TEKSTBIBTEX
-
On simple algebras in Esns. 25 - 29CZYSTY TEKSTBIBTEX
-
A note on Lambek - van Benthem calculuss. 31 - 35CZYSTY TEKSTBIBTEX