TYTUŁ
Bulletin of the Section of Logic
1994 / Tom 23 / Numer 3
Wybierz inny
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
On the independence of B from I, C, W, K'1 and Karpenko's formula Xs. 96 - 97CZYSTY TEKSTBIBTEX
-
Some theorems on equivalential tense logics. 98 - 103CZYSTY TEKSTBIBTEX
-
Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCKs. 104 - 112CZYSTY TEKSTBIBTEX
-
Truth as an objects. 113 - 117CZYSTY TEKSTBIBTEX
-
A note on "Carnot's logic"s. 118 - 125CZYSTY TEKSTBIBTEX
-
Sheffer's stroke for prime numberss. 126 - 129CZYSTY TEKSTBIBTEX
-
Conditional negation on the positive logics. 130 - 136CZYSTY TEKSTBIBTEX