de Groot, J., Litak, T., & Pattinson, D. (2021, June 29). Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-15. https://doi.org/10.1109/LICS52264.2021.9470508
Citace podle Chicago (17th ed.)de Groot, Jim, Tadeusz Litak, a Dirk Pattinson. "Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-15. https://doi.org/10.1109/LICS52264.2021.9470508.
Citace podle MLA (9th ed.)de Groot, Jim, et al. "Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-15, https://doi.org/10.1109/LICS52264.2021.9470508.