Logan, S. A., & Worley, B. (2024). Hyperformalism for Bunched Natural Deduction Systems.
Style de citation Chicago (17e éd.)Logan, Shay Allen, et Blane Worley. Hyperformalism for Bunched Natural Deduction Systems. 2024.
Style de citation MLA (9e éd.)Logan, Shay Allen, et Blane Worley. Hyperformalism for Bunched Natural Deduction Systems. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.