TYTUŁ
Bulletin of the Section of Logic
2000 / Tom 29 / Numer 4
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Dual consequence operations associated with a certain class of logical matricess. 143 - 150CZYSTY TEKSTBIBTEX
-
Completeness of an action logic for timed transition Systemss. 151 - 159CZYSTY TEKSTBIBTEX
-
On a relationship between some classes of elimination operators and some classess. 161 - 170CZYSTY TEKSTBIBTEX
-
Multidimensional algebra on the generalized sequencess. 171 - 179CZYSTY TEKSTBIBTEX
-
Faces of monotonicity and wisdom formulas problems. 181 - 192CZYSTY TEKSTBIBTEX
