León Rojas, A. N. (2017). Un estudio de los teoremas de corrección, completud y compacidad de un cálculo axiomático de la Lógica Proposicional clásica.
Citación estilo ChicagoLeón Rojas, Alexander Nabí. Un Estudio De Los Teoremas De Corrección, Completud Y Compacidad De Un Cálculo Axiomático De La Lógica Proposicional Clásica. 2017.
Cita MLALeón Rojas, Alexander Nabí. Un Estudio De Los Teoremas De Corrección, Completud Y Compacidad De Un Cálculo Axiomático De La Lógica Proposicional Clásica. 2017.
Precaución: Estas citas no son 100% exactas.