-
Incomplete satisfiability problems Opublikowano w: Bulletin of the Section of Logic 1993 / Tom 22 / Numer 4 / s. 150 - 1571993CZYSTY TEKST
Newton C.A. da Costa, F.A. Doria, Incomplete satisfiability problems, Bulletin of the Section of Logic, 1993 / Tom 22 / Numer 4, s. 150 - 157
BIBTEX@Article{ authors = " Newton C.A. da Costa, F.A. Doria", title = "Incomplete satisfiability problems", journal = "Bulletin of the Section of Logic", issue = "1993 / Tom 22 / Numer 4", pages = "150 - 157" }
-
The undecidability of formal definitions in the theory of finite groups Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 2 / s. 56 - 631995CZYSTY 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" }
-
On Set Theory as a Foundation for Computer Science Opublikowano w: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 1 / s. 33 - 402004CZYSTY TEKST
F.A. Doria, N.C.A. da Costa, On Set Theory as a Foundation for Computer Science, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 1, s. 33 - 40
BIBTEX@Article{ authors = " F.A. Doria, N.C.A. da Costa", title = "On Set Theory as a Foundation for Computer Science", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 1", pages = "33 - 40" }
-
On the existence of very difficult satisfiability problem Opublikowano w: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 4 / s. 122 - 1331992CZYSTY TEKST
Newton C.A. da Costa, F.A. Doria, On the existence of very difficult satisfiability problem, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 4, s. 122 - 133
BIBTEX@Article{ authors = " Newton C.A. da Costa, F.A. Doria", title = "On the existence of very difficult satisfiability problem", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 4", pages = "122 - 133" }
