Saravia, A. R. (2020). Cálculo de tableaux para fórmulas elementales en lógicas de separación. Web
Citación estilo ChicagoSaravia, Andrés Román. Cálculo De Tableaux Para Fórmulas Elementales En Lógicas De Separación. 2020.
Cita MLASaravia, Andrés Román. Cálculo De Tableaux Para Fórmulas Elementales En Lógicas De Separación. 2020.
Precaución: Estas citas no son 100% exactas.