TYTUŁ
Bulletin of the Section of Logic 1991 / Tom 20 / Numer 1
1991 / Tom 20 / Numer 1
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Interpolation theorem for intuitionistic S4s. 2 - 6CZYSTY TEKSTBIBTEX
-
Decision problem for finite equivalential algebrass. 7 - 9CZYSTY TEKSTBIBTEX
-
Counting formulae of propositional calculuss. 10 - 13CZYSTY TEKSTBIBTEX
-
Post relation algebras. 14 - 31CZYSTY TEKSTBIBTEX
-
Proving unprovability in some normal modal logics. 23 - 29CZYSTY TEKSTBIBTEX
-
Correction to Common logic of binary connective has finite maximality degrees. 30 - 35CZYSTY TEKSTBIBTEX
