Saotome, K., & Nakazawa, K. (2025). Admissibility of Substitution Rule in Cyclic-Proof Systems.
Citazione stile Chigago Style (17a edizione)Saotome, Kenji, e Koji Nakazawa. Admissibility of Substitution Rule in Cyclic-Proof Systems. 2025.
Citatione MLA (9a ed.)Saotome, Kenji, e Koji Nakazawa. Admissibility of Substitution Rule in Cyclic-Proof Systems. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.