Solares Rojas, A., Baldi, P., & Rodriguez, R. O. (2025). KE-tableaux para lógica intuicionista proposicional. Web
Citación estilo ChicagoSolares Rojas, Alejandro, Paolo Baldi, and Ricardo O. Rodriguez. KE-tableaux Para Lógica Intuicionista Proposicional. 2025.
Cita MLASolares Rojas, Alejandro, Paolo Baldi, and Ricardo O. Rodriguez. KE-tableaux Para Lógica Intuicionista Proposicional. 2025.
Precaución: Estas citas no son 100% exactas.