Yaroslav Petrukhin
2 artykuły w 1 czasopismach
-
Functional Completeness in CPL «via» Correspondence Analysis Opublikowano w: Bulletin of the Section of Logic 2019 / Tom 48 / Numer 1 / s. 45 - 762019CZYSTY TEKST
Marcin Jukiewicz, Dorota Leszczyńska-Jasion, Yaroslav Petrukhin, Vasilyi Shangin, Functional Completeness in CPL «via» Correspondence Analysis , Bulletin of the Section of Logic, 2019 / Tom 48 / Numer 1, s. 45 - 76
BIBTEX@Article{ authors = " Marcin Jukiewicz, Dorota Leszczyńska-Jasion, Yaroslav Petrukhin, Vasilyi Shangin", title = "Functional Completeness in CPL «via» Correspondence Analysis ", journal = "Bulletin of the Section of Logic", issue = "2019 / Tom 48 / Numer 1", pages = "45 - 76" }
-
The Method of Socratic Proofs Meets Correspondence Analysis Opublikowano w: Bulletin of the Section of Logic 2019 / Tom 48 / Numer 2 / s. 99 - 1162019CZYSTY TEKST
Dorota Leszczyńska-Jasion, Yaroslav Petrukhin, Vasilyi Shangin, The Method of Socratic Proofs Meets Correspondence Analysis , Bulletin of the Section of Logic, 2019 / Tom 48 / Numer 2, s. 99 - 116
BIBTEX@Article{ authors = " Dorota Leszczyńska-Jasion, Yaroslav Petrukhin, Vasilyi Shangin", title = "The Method of Socratic Proofs Meets Correspondence Analysis ", journal = "Bulletin of the Section of Logic", issue = "2019 / Tom 48 / Numer 2", pages = "99 - 116" }