La consistencia como una propiedad de los sistemas formales

Bibliographic Details
Main Author: Cano Pérez, Pedro
Other Authors: Rodríguez Zaragoza, María Esperanza (Asesor)
Format: Tesis de licenciatura
Published: MX 2018
Subjects:
Online Access:https://hdl.handle.net/20.500.14330/TES01000782139
http://132.248.9.195/ptd2018/noviembre/0782139/Index.html
Description
Description not available.