Michał Zawidzki
4 artykuły w 3 czasopismach
-
Umysły, maszyny i Gödel: retrospekcja Opublikowano w: Hybris. Internetowy Magazyn Filozoficzny 2009 / Tom 09 / s. 74 - 982009CZYSTY TEKST
John R. Lucas, Michał Zawidzki, Umysły, maszyny i Gödel: retrospekcja, Hybris. Internetowy Magazyn Filozoficzny, 2009 / Tom 09, s. 74 - 98
BIBTEX@Article{ authors = " John R. Lucas, Michał Zawidzki", title = "Umysły, maszyny i Gödel: retrospekcja", journal = "Hybris. Internetowy Magazyn Filozoficzny", issue = "2009 / Tom 09", pages = "74 - 98" }
-
Umysły, maszyny i Gödel Opublikowano w: Hybris. Internetowy Magazyn Filozoficzny 2009 / Tom 08 / s. 96 - 1172009CZYSTY TEKST
John R. Lucas, Michał Zawidzki, Umysły, maszyny i Gödel, Hybris. Internetowy Magazyn Filozoficzny, 2009 / Tom 08, s. 96 - 117
BIBTEX@Article{ authors = " John R. Lucas, Michał Zawidzki", title = "Umysły, maszyny i Gödel", journal = "Hybris. Internetowy Magazyn Filozoficzny", issue = "2009 / Tom 08", pages = "96 - 117" }
-
Adequacy of the Logic K(En) Opublikowano w: Bulletin of the Section of Logic 2012 / Tom 41 / Numer 3-4 / s. 155 - 1722012CZYSTY TEKST
Michał Zawidzki, Adequacy of the Logic K(En), Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 3-4, s. 155 - 172
BIBTEX@Article{ authors = " Michał Zawidzki", title = "Adequacy of the Logic K(En)", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 3-4", pages = "155 - 172" }
-
Decision procedures for some strong hybrid logics Opublikowano w: Logic and Logical Philosophy 2013 / Tom 22 / Numer 4 / s. 389 - 4092013CZYSTY TEKST
Andrzej Indrzejczak, Michał Zawidzki, Decision procedures for some strong hybrid logics, Logic and Logical Philosophy, 2013 / Tom 22 / Numer 4, s. 389 - 409
BIBTEX@Article{ authors = " Andrzej Indrzejczak, Michał Zawidzki", title = "Decision procedures for some strong hybrid logics", journal = "Logic and Logical Philosophy", issue = "2013 / Tom 22 / Numer 4", pages = "389 - 409" }
