-
On certain Leibniz's observation concerning the substantiation of mathematical statementss. 143 - 147CZYSTY TEKST
Krystyna Błachowicz, On certain Leibniz's observation concerning the substantiation of mathematical statements, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 4, s. 143 - 147
BIBTEX@Article{ authors = " Krystyna Błachowicz", title = "On certain Leibniz's observation concerning the substantiation of mathematical statements", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 4", pages = "143 - 147" }
-
Transition from potential to actual infinity via Ackermann's principles. 148 - 151CZYSTY TEKST
Wojciech Buszkowski, Transition from potential to actual infinity via Ackermann's principle, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 4, s. 148 - 151
BIBTEX@Article{ authors = " Wojciech Buszkowski", title = "Transition from potential to actual infinity via Ackermann's principle", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 4", pages = "148 - 151" }
-
Notes on the semantics for the logic with semi-negations. 152 - 156CZYSTY TEKST
Jacek Hawranek, Jan Zygmunt, Notes on the semantics for the logic with semi-negation, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 4, s. 152 - 156
BIBTEX@Article{ authors = " Jacek Hawranek, Jan Zygmunt", title = "Notes on the semantics for the logic with semi-negation", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 4", pages = "152 - 156" }
-
Philosophical consequences of Godel's Theorems. 157 - 164CZYSTY TEKST
Stanisław Krajewski, Philosophical consequences of Godel's Theorem, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 4, s. 157 - 164
BIBTEX@Article{ authors = " Stanisław Krajewski", title = "Philosophical consequences of Godel's Theorem", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 4", pages = "157 - 164" }
-
Computer method of demonstration?s. 165 - 172CZYSTY TEKST
Mieczysław Lubański, Computer method of demonstration?, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 4, s. 165 - 172
BIBTEX@Article{ authors = " Mieczysław Lubański", title = "Computer method of demonstration?", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 4", pages = "165 - 172" }
-
Logic and experience in the light of dialogic logics. 173 - 180CZYSTY TEKST
Witold Marciszewski, Logic and experience in the light of dialogic logic, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 4, s. 173 - 180
BIBTEX@Article{ authors = " Witold Marciszewski", title = "Logic and experience in the light of dialogic logic", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 4", pages = "173 - 180" }
-
On empirical status of logical inferencess. 181 - 187CZYSTY TEKST
Marcin Mostowski, On empirical status of logical inferences, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 4, s. 181 - 187
BIBTEX@Article{ authors = " Marcin Mostowski", title = "On empirical status of logical inferences", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 4", pages = "181 - 187" }
-
A logic analysis of philosophical arguments based on Leibniz's principle of the sufficient reason of existences. 188 - 193CZYSTY TEKST
Edward Nieznański, A logic analysis of philosophical arguments based on Leibniz's principle of the sufficient reason of existence, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 4, s. 188 - 193
BIBTEX@Article{ authors = " Edward Nieznański", title = "A logic analysis of philosophical arguments based on Leibniz's principle of the sufficient reason of existence", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 4", pages = "188 - 193" }
-
Principles of knowledge representations. 194 - 201CZYSTY TEKST
Zdzisław Pawlak, Principles of knowledge representation, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 4, s. 194 - 201
BIBTEX@Article{ authors = " Zdzisław Pawlak", title = "Principles of knowledge representation", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 4", pages = "194 - 201" }
-
Semantic reasons for ontological statementss. 202 - 207CZYSTY TEKST
Marian Przełęcki, Semantic reasons for ontological statements, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 4, s. 202 - 207
BIBTEX@Article{ authors = " Marian Przełęcki", title = "Semantic reasons for ontological statements", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 4", pages = "202 - 207" }
-
Interpretationss. 208 - 213CZYSTY TEKST
L.W. Szczerba, Interpretations, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 4, s. 208 - 213
BIBTEX@Article{ authors = " L.W. Szczerba", title = "Interpretations", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 4", pages = "208 - 213" }
-
On a system of computer-aided instruction of logics. 214 - 220CZYSTY TEKST
Andrzej Trybulec, On a system of computer-aided instruction of logic, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 4, s. 214 - 220
BIBTEX@Article{ authors = " Andrzej Trybulec", title = "On a system of computer-aided instruction of logic", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 4", pages = "214 - 220" }
-
Metamathematics and philosophys. 221 - 225CZYSTY TEKST
Jan Woleński, Metamathematics and philosophy, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 4, s. 221 - 225
BIBTEX@Article{ authors = " Jan Woleński", title = "Metamathematics and philosophy", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 4", pages = "221 - 225" }
