TYTUŁ
Bulletin of the Section of Logic 1985 / Tom 14 / Numer 4
1985 / Tom 14 / Numer 4
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
J.M.Cohen's claim on categorial grammars remins unproveds. 130 - 133CZYSTY TEKSTBIBTEX
-
The rule of parametric substitution in protothetics. 134 - 139CZYSTY TEKSTBIBTEX
-
Higher-order sequent-system for intuitionistic modal logics. 140 - 143CZYSTY TEKSTBIBTEX
-
On discussive set theorys. 144 - 149CZYSTY TEKSTBIBTEX
-
Goals, results and efficiency of utterancess. 150 - 157CZYSTY TEKSTBIBTEX
-
On the definability of join by means of polynomials in implicative algebrass. 158 - 163CZYSTY TEKSTBIBTEX
-
Completeness and axiomatizability theorems for the non-associative Lambek syntactic calculuss. 164 - 169CZYSTY TEKSTBIBTEX
