-
The undecidability of formal definitions in the theory of finite groupss. 56 - 63CZYSTY TEKST
Newton C.A. da Costa, F.A. Doria, Marcelo Tsuji, The undecidability of formal definitions in the theory of finite groups, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 2, s. 56 - 63
BIBTEX@Article{ authors = " Newton C.A. da Costa, F.A. Doria, Marcelo Tsuji", title = "The undecidability of formal definitions in the theory of finite groups", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 2", pages = "56 - 63" }
-
Fork algebras are representables. 64 - 75CZYSTY TEKST
Marcelo F. Frias, Gabriel A. Baum, Armando M. Haeberer, Paulo A.S. Veloso, Fork algebras are representable, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 2, s. 64 - 75
BIBTEX@Article{ authors = " Marcelo F. Frias, Gabriel A. Baum, Armando M. Haeberer, Paulo A.S. Veloso", title = "Fork algebras are representable", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 2", pages = "64 - 75" }
-
Rationalizing relevant primitives, of course!s. 76 - 79CZYSTY TEKST
Robert K. Meyer, Rationalizing relevant primitives, of course!, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 2, s. 76 - 79
BIBTEX@Article{ authors = " Robert K. Meyer", title = "Rationalizing relevant primitives, of course!", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 2", pages = "76 - 79" }
-
On some operators on pseudovarieties IIs. 80 - 88CZYSTY TEKST
Ewa Graczyńska, On some operators on pseudovarieties II, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 2, s. 80 - 88
BIBTEX@Article{ authors = " Ewa Graczyńska", title = "On some operators on pseudovarieties II", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 2", pages = "80 - 88" }
-
The logic of dichotomic changess. 89 - 97CZYSTY TEKST
Józef Wajszczyk, The logic of dichotomic changes, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 2, s. 89 - 97
BIBTEX@Article{ authors = " Józef Wajszczyk", title = "The logic of dichotomic changes", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 2", pages = "89 - 97" }
-
A note on derivation rules in modal logics. 98 - 104CZYSTY TEKST
Valentin Goranko, A note on derivation rules in modal logic, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 2, s. 98 - 104
BIBTEX@Article{ authors = " Valentin Goranko", title = "A note on derivation rules in modal logic", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 2", pages = "98 - 104" }
-
Hintikka formulas as axioms of refutation calculus, a case studys. 105 - 114CZYSTY TEKST
Takao Inoue, Hintikka formulas as axioms of refutation calculus, a case study, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 2, s. 105 - 114
BIBTEX@Article{ authors = " Takao Inoue", title = "Hintikka formulas as axioms of refutation calculus, a case study", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 2", pages = "105 - 114" }
-
The single axiom-schema of March 8ths. 115CZYSTY TEKST
Takao Inoue, The single axiom-schema of March 8th, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 2, s. 115
BIBTEX@Article{ authors = " Takao Inoue", title = "The single axiom-schema of March 8th", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 2", pages = "115" }
