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
LEADER 01361nam a2200349 a 4500
001 ELB87885
003 FlNmELB
006 m o d |
007 cr cn|||||||||
008 201106r2001 sp |||||s|||||||||||spa d
020 |z 141359817X 
035 |a (MiAaPQ)EBC3161225 
035 |a (Au-PeEL)EBL3161225 
035 |a (CaPaEBR)ebr10087909 
035 |a (OCoLC)928581970 
040 |a FlNmELB  |b spa  |c FlNmELB 
050 4 |a BC177  |b G166 2001 
080 |a 16(043.2) 
082 0 4 |a 160  |2 22 
100 1 |a Gallego Castaño, Enrique. 
245 1 0 |a Técnicas de demostración de indecibilidad e inseparabilidad en teorías formales  |h [recurso electronico] /  |c Enrique Gallego Castaño ; director José F. Prida. 
260 |a Madrid :  |b Universidad Complutense de Madrid, Servicio de Publicaciones,  |c 2001. 
300 |a 166 p. 
500 |a Universidad Complutense de Madrid, Facultad de Filosofía, Departamento de Lógica y Filosofía de la Ciencia. 
533 |a Recurso electrónico. Santa Fe, Arg.: e-libro, 2015. Disponible vía World Wide Web. El acceso puede estar limitado para las bibliotecas afiliadas a e-libro. 
650 0 |a Lógica. 
650 0 |a Logic. 
653 |a Logica 
655 4 |a Libros electrónicos. 
700 1 |a Prida, José F,   |e dir. 
710 2 |a e-libro, Corp. 
856 4 0 |u https://elibro.net/ereader/uninicaragua/87885