Gunther, E. (2019). Formalización de fundaciones de la matemática y compiladores correctos por construcción. Web
Citación estilo ChicagoGunther, Emmanuel. Formalización De Fundaciones De La Matemática Y Compiladores Correctos Por Construcción. 2019.
Cita MLAGunther, Emmanuel. Formalización De Fundaciones De La Matemática Y Compiladores Correctos Por Construcción. 2019.
Precaución: Estas citas no son 100% exactas.