Llanos Villajuan, M. (1974). Un procedimiento decisorio para fórmulas cuantificacionales monádicas de la lógica de primer orden.
Citación estilo ChicagoLlanos Villajuan, Marino. Un Procedimiento Decisorio Para Fórmulas Cuantificacionales Monádicas De La Lógica De Primer Orden. 1974.
Cita MLALlanos Villajuan, Marino. Un Procedimiento Decisorio Para Fórmulas Cuantificacionales Monádicas De La Lógica De Primer Orden. 1974.
Precaución: Estas citas no son 100% exactas.