Técnicas de demostración de indecibilidad e inseparabilidad en teorías formales

Bibliographic Details
Main Author: Gallego Castaño, Enrique.
Corporate Author: e-libro, Corp.
Format: eBook
Language:Spanish
Published: Madrid : Universidad Complutense de Madrid, Servicio de Publicaciones, 2001.
Subjects:
Online Access:https://elibro.net/ereader/uninicaragua/87885