TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Decidability in Pratt's process logic Opublikowano w: Bulletin of the Section of Logic 1986 / Tom 15 / Numer 3 / s. 88 - 951986CZYSTY TEKST
Zdzisław Habasiński, Decidability in Pratt's process logic, Bulletin of the Section of Logic, 1986 / Tom 15 / Numer 3, s. 88 - 95
BIBTEX@Article{ authors = " Zdzisław Habasiński", title = "Decidability in Pratt's process logic", journal = "Bulletin of the Section of Logic", issue = "1986 / Tom 15 / Numer 3", pages = "88 - 95" }
