Refinar su búsqueda
Disponibilidad
-
Autores
- Ackermann, Wilhelm (4)
- Barwise, Jon (4)
- Bourbaki, Nicolás (4)
- Copi, Irving M. (4)
- Costa, Newton Carnei... (7)
- Curry, Haskell Brook... (6)
- Ebbinghaus, Heinz-Di... (4)
- Fridlender, Daniel E... (4)
- Gabbay, Dov M. (4)
- Hilbert, David (4)
- Kechris, Alexander S... (4)
- Kleene, Stephen Cole (4)
- Mangione, Corrado (6)
- Martin, Donald A. (4)
- Nerode, Anil (4)
- Orevkov, V. P. (5)
- Smullyan, Raymond M. (7)
- Tarski, Alfred (4)
- Troelstra, Anne Sjer... (4)
- Vaggione, Diego José (6)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Artículo de Revista en Línea (4)
- CD/DVD de datos (2)
- Libro (538)
- Libro Electrónico (1)
- Revista (2)
- Tesis de Doctorado (3)
- Trabajo Especial de Grado (9)
- Mostrar más
- Mostrar menos
-
Ubicaciones
- Colección AMS (63)
- Colección Andrés Raggio (124)
- Colección de CD/DVD (1)
- Depósito de Libros (1)
- Depósito Interno (7)
- Duplicados de revistas (1)
- Hemeroteca Matemática (1)
- Recurso en línea (5)
- Secc. Tesis y Trabajos especiales (10)
- Sección Computación (75)
- Sección Lecture Notes (152)
- Sección Matemática (141)
- Vitrina (3)
- Mostrar más
- Mostrar menos
-
Series
- Cambridge tracts in ... (13)
- CONM (13)
- Contemporary mathema... (15)
- EATCS monographs on ... (4)
- EATCS series (4)
- Lecture notes in art... (16)
- Lecture notes in com... (73)
- Lecture notes in mat... (72)
- LNCS (46)
- LNM (47)
- MEMO (15)
- Memoirs of the Ameri... (12)
- Proceedings of the S... (7)
- STEKLO (8)
- Studies in logic and... (33)
- TRANS2 (4)
- Mostrar más
- Mostrar menos
-
Temas
- Algebra homológica (18)
- Artificial intellige... (16)
- Computación (18)
- Deducción y prueba d... (35)
- Deduction and theore... (33)
- Formal languages (73)
- Inteligencia artific... (16)
- Lenguajes de program... (17)
- Lenguajes formales (79)
- Logics and meanings ... (30)
- Lógica matemática (436)
- Lógica matemática y ... (26)
- Lógica matemática-Co... (42)
- Lógica y significado... (35)
- Mathematical logic (164)
- Mathematical logic-C... (43)
- Programming language... (16)
- Teoría de categorías (18)
- Teoría de conjuntos (33)
- Teoría de grupos (17)
- Mostrar más
- Mostrar menos