Cita APA

Solares Rojas, A., Baldi, P., & Rodriguez, R. O. (2025). KE-tableaux para lógica intuicionista proposicional. Web

Citación estilo Chicago

Solares Rojas, Alejandro, Paolo Baldi, and Ricardo O. Rodriguez. KE-tableaux Para Lógica Intuicionista Proposicional. 2025.

Cita MLA

Solares Rojas, Alejandro, Paolo Baldi, and Ricardo O. Rodriguez. KE-tableaux Para Lógica Intuicionista Proposicional. 2025.

Precaución: Estas citas no son 100% exactas.