APA (7th ed.) Citation

TAKAHASHI, Y. (2025). INTERPRETATION OF INACCESSIBLE SETS IN MARTIN-LÖF TYPE THEORY WITH ONE MAHLO UNIVERSE. Logical Methods in Computer Science (LMCS), 21(4), 16:1. https://doi.org/10.46298/LMCS-21(4:16)2025

Chicago Style (17th ed.) Citation

TAKAHASHI, YUTA. "INTERPRETATION OF INACCESSIBLE SETS IN MARTIN-LÖF TYPE THEORY WITH ONE MAHLO UNIVERSE." Logical Methods in Computer Science (LMCS) 21, no. 4 (2025): 16:1. https://doi.org/10.46298/LMCS-21(4:16)2025.

MLA (9th ed.) Citation

TAKAHASHI, YUTA. "INTERPRETATION OF INACCESSIBLE SETS IN MARTIN-LÖF TYPE THEORY WITH ONE MAHLO UNIVERSE." Logical Methods in Computer Science (LMCS), vol. 21, no. 4, 2025, p. 16:1, https://doi.org/10.46298/LMCS-21(4:16)2025.