Refinar su búsqueda
Disponibilidad
-
Autores
- Amor Montaño, Jose A... (3)
- Benthem, J. F. A. K.... (3)
- Boole, George (3)
- Börger, E. (2)
- Carnap, Rudolf (4)
- Curry, Haskell B. (3)
- Ebbinghaus, Heinz-Di... (2)
- Enderton, Herbert B. (4)
- Feferman, Solomon (3)
- Godel, Kurt (3)
- Hill, Shirley A. (3)
- Lakatos, Imre (2)
- Mendelson, Elliott (5)
- Nerode, Anil (3)
- Quine, W. V. (4)
- Robinson, Abraham (3)
- Russell, Bertrand (3)
- Stoliar, Abram Arono... (2)
- Suppes, Patrick (4)
- Zubieta Russi, Gonza... (2)
- Mostrar más
- Mostrar menos
-
Colecciones
- Coleccion General (276)
- Fondo Reservado (5)
- Sala de Consulta (2)
- Sala de Matemáticas (4)
-
Bibliotecas depositarias
-
Tipos de ítem
-
Ubicaciones
-
Series
- Alianza universidad (3)
- Annals of discrete m... (1)
- Annals of mathematic... (2)
- Bibliotheque scienti... (1)
- Collection de logiqu... (1)
- Die gundlehren der m... (1)
- Graduate texts in co... (2)
- Graduate texts in ma... (1)
- International comput... (2)
- Las Prensas de cienc... (5)
- Lecture notes in art... (4)
- Lecture notes in com... (11)
- Lexture notes in pur... (1)
- London Mathematical ... (2)
- Springer undergradua... (2)
- Studies in logic and... (13)
- Textbooks in mathema... (2)
- Texts and monographs... (2)
- Universitext (3)
- Mostrar más
- Mostrar menos
-
Tópicos
- Computación (5)
- Demostración automát... (9)
- Filosofía (3)
- Geometría (3)
- Inteligencia artific... (12)
- Lógica (7)
- Lógica simbólica y m... (279)
- Lógicos (2)
- Matemáticas (42)
- Matemáticas computac... (6)
- Probabilidades (9)
- Procesamiento de len... (3)
- Programación lógica (6)
- Razonamiento (9)
- Semántica (3)
- Semántica (Filosofía... (5)
- Teoría de conjuntos (24)
- Teoría de la demostr... (6)
- Teoría de modelos (3)
- Álgebra abstracta (4)
- Mostrar más
- Mostrar menos