Shimomichi, S., Takeda, Y., & Yokoyama, K. (2025). Completeness theorems for modal logic in second-order arithmetic.
Citazione stile Chigago Style (17a edizione)Shimomichi, Sho, Yuto Takeda, e Keita Yokoyama. Completeness Theorems for Modal Logic in Second-order Arithmetic. 2025.
Citatione MLA (9a ed.)Shimomichi, Sho, et al. Completeness Theorems for Modal Logic in Second-order Arithmetic. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.