-
An algebra of subsets for join-semilattices with units. 1 - 3CZYSTY TEKST
Bogusław Wolniewicz, An algebra of subsets for join-semilattices with unit, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 1, s. 1 - 3
BIBTEX@Article{ authors = " Bogusław Wolniewicz", title = "An algebra of subsets for join-semilattices with unit", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 1", pages = "1 - 3" }
-
On simple algebras in Esns. 25 - 29CZYSTY TEKST
Kazimiera Dyrda, On simple algebras in Esn, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 1, s. 25 - 29
BIBTEX@Article{ authors = " Kazimiera Dyrda", title = "On simple algebras in Esn", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 1", pages = "25 - 29" }
-
A note on Lambek - van Benthem calculuss. 31 - 35CZYSTY TEKST
Wojciech Buszkowski, A note on Lambek - van Benthem calculus, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 1, s. 31 - 35
BIBTEX@Article{ authors = " Wojciech Buszkowski", title = "A note on Lambek - van Benthem calculus", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 1", pages = "31 - 35" }
-
A generalization of the interpolation theorem for the many sorted calculuss. 2 - 8CZYSTY TEKST
Krzysztof Rudnik, A generalization of the interpolation theorem for the many sorted calculus, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 1, s. 2 - 8
BIBTEX@Article{ authors = " Krzysztof Rudnik", title = "A generalization of the interpolation theorem for the many sorted calculus", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 1", pages = "2 - 8" }
-
On BCK-algebras with the operation (S)s. 13 - 17CZYSTY TEKST
Marek Pałasiński, On BCK-algebras with the operation (S), Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 1, s. 13 - 17
BIBTEX@Article{ authors = " Marek Pałasiński", title = "On BCK-algebras with the operation (S)", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 1", pages = "13 - 17" }
