TYTUŁ
Bulletin of the Section of Logic
1983 / Tom 12 / Numer 4
Wybierz inny
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
On certain Leibniz's observation concerning the substantiation of mathematical statementss. 143 - 147CZYSTY TEKSTBIBTEX
-
Transition from potential to actual infinity via Ackermann's principles. 148 - 151CZYSTY TEKSTBIBTEX
-
Notes on the semantics for the logic with semi-negations. 152 - 156CZYSTY TEKSTBIBTEX
-
Philosophical consequences of Godel's Theorems. 157 - 164CZYSTY TEKSTBIBTEX
-
Computer method of demonstration?s. 165 - 172CZYSTY TEKSTBIBTEX
-
Logic and experience in the light of dialogic logics. 173 - 180CZYSTY TEKSTBIBTEX
-
On empirical status of logical inferencess. 181 - 187CZYSTY TEKSTBIBTEX
-
A logic analysis of philosophical arguments based on Leibniz's principle of the sufficient reason of existences. 188 - 193CZYSTY TEKSTBIBTEX
-
Principles of knowledge representations. 194 - 201CZYSTY TEKSTBIBTEX
-
Semantic reasons for ontological statementss. 202 - 207CZYSTY TEKSTBIBTEX
-
Interpretationss. 208 - 213CZYSTY TEKSTBIBTEX
-
On a system of computer-aided instruction of logics. 214 - 220CZYSTY TEKSTBIBTEX
-
Metamathematics and philosophys. 221 - 225CZYSTY TEKSTBIBTEX