Becker, J., Das, A., Marin, S., & Padhiar, P. (2026). The proof theory and semantics of second-order (intuitionistic) tense logic.
Cita Chicago Style (17a ed.)Becker, Justus, Anupam Das, Sonia Marin, y Paaras Padhiar. The Proof Theory and Semantics of Second-order (intuitionistic) Tense Logic. 2026.
Cita MLA (9a ed.)Becker, Justus, et al. The Proof Theory and Semantics of Second-order (intuitionistic) Tense Logic. 2026.
Precaución: Estas citas no son 100% exactas.