TYTUŁ
Bulletin of the Section of Logic
1989 / Tom 18 / Numer 1
Wybierz inny
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Entailments and independence in join-semilatticess. 2 - 5CZYSTY TEKSTBIBTEX
-
On information functions, part one: Basic formal propertiess. 6 - 12CZYSTY TEKSTBIBTEX
-
On information functions, part two: Applications to the logic of theory changes. 13 - 19CZYSTY TEKSTBIBTEX
-
On a closure of a set of classically essential formulas and on relevant implications. 20 - 24CZYSTY TEKSTBIBTEX
-
On connections between identities and hiperidentitiess. 25 - 29CZYSTY TEKSTBIBTEX
-
Regular equations and unification theorys. 30 - 43CZYSTY TEKSTBIBTEX