-
An open problem in Tarski's calculus of deductive systemss. 36 - 43CZYSTY TEKST
David Miller, An open problem in Tarski's calculus of deductive systems, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 2, s. 36 - 43
BIBTEX@Article{ authors = " David Miller", title = "An open problem in Tarski's calculus of deductive systems", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 2", pages = "36 - 43" }
-
Conditional logics and cumulative logicss. 44 - 51CZYSTY TEKST
Andre T. Fuhrmann, Conditional logics and cumulative logics, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 2, s. 44 - 51
BIBTEX@Article{ authors = " Andre T. Fuhrmann", title = "Conditional logics and cumulative logics", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 2", pages = "44 - 51" }
-
A finitary relational algebra for classical first-order logics. 52 - 62CZYSTY TEKST
Paulo A.S. Veloso, Armando M. Haeberer, A finitary relational algebra for classical first-order logic, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 2, s. 52 - 62
BIBTEX@Article{ authors = " Paulo A.S. Veloso, Armando M. Haeberer", title = "A finitary relational algebra for classical first-order logic", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 2", pages = "52 - 62" }
-
An undecidable problem for regular equationss. 63 - 66CZYSTY TEKST
Ewa Graczyńska, An undecidable problem for regular equations, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 2, s. 63 - 66
BIBTEX@Article{ authors = " Ewa Graczyńska", title = "An undecidable problem for regular equations", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 2", pages = "63 - 66" }
-
Divisibility Quantifierss. 67 - 82CZYSTY TEKST
Marcin Mostowski, Divisibility Quantifiers, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 2, s. 67 - 82
BIBTEX@Article{ authors = " Marcin Mostowski", title = "Divisibility Quantifiers", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 2", pages = "67 - 82" }