-
Gentzen-style axiomatization of tense logic Opublikowano w: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 2 / s. 75 - 841984CZYSTY TEKST
Kazimierz Trzesicki, Gentzen-style axiomatization of tense logic, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 2, s. 75 - 84
BIBTEX@Article{ authors = " Kazimierz Trzesicki", title = "Gentzen-style axiomatization of tense logic", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 2", pages = "75 - 84" }
-
Deterministic and indeterministic tense operators Opublikowano w: Bulletin of the Section of Logic 1987 / Tom 16 / Numer 2 / s. 76 - 841987CZYSTY TEKST
Kazimierz Trzesicki, Deterministic and indeterministic tense operators, Bulletin of the Section of Logic, 1987 / Tom 16 / Numer 2, s. 76 - 84
BIBTEX@Article{ authors = " Kazimierz Trzesicki", title = "Deterministic and indeterministic tense operators", journal = "Bulletin of the Section of Logic", issue = "1987 / Tom 16 / Numer 2", pages = "76 - 84" }
-
Is discreteness of time necessary for Diodorean Master Argument? Opublikowano w: Bulletin of the Section of Logic 1987 / Tom 16 / Numer 3 / s. 125 - 1391987CZYSTY TEKST
Kazimierz Trzesicki, Is discreteness of time necessary for Diodorean Master Argument?, Bulletin of the Section of Logic, 1987 / Tom 16 / Numer 3, s. 125 - 139
BIBTEX@Article{ authors = " Kazimierz Trzesicki", title = "Is discreteness of time necessary for Diodorean Master Argument?", journal = "Bulletin of the Section of Logic", issue = "1987 / Tom 16 / Numer 3", pages = "125 - 139" }