TYTUŁ
Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3
1979 / Tom 8 / Numer 3
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
ω-saturated matricess. 120 - 123CZYSTY TEKSTBIBTEX
-
Program verification within and without logics. 124 - 129CZYSTY TEKSTBIBTEX
-
Filters and natural extensions of closure systemss. 130 - 132CZYSTY TEKSTBIBTEX
-
Some remarks on the logic of vaguenesss. 133 - 138CZYSTY TEKSTBIBTEX
-
A semantical study of some systems of vagueness logics. 139 - 144CZYSTY TEKSTBIBTEX
-
Not all representable cylindric algebras are neat reductss. 145 - 147CZYSTY TEKSTBIBTEX
-
On definability in Peano arithmetics. 148 - 153CZYSTY TEKSTBIBTEX
-
B Seg has the finite model propertys. 154 - 160CZYSTY TEKSTBIBTEX
-
On {<->,~}-reduct of the intuitionistic consequence operations. 161 - 169CZYSTY TEKSTBIBTEX
