Refinar su búsqueda

Su búsqueda retornó 18 resultados.

Ordenar
Resultados
1.
Análisis de la definibilidad de relaciones en estructuras de primer orden / Guillermo Luis Incatasciato, director Diego Vaggione. por Idioma: Español
Detalles de publicación: [S.l. : s.n. ], 2019
Nota de disertación: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 29 - 24089.
2.
Algoritmos para decidir definibilidad de fragmentos de lógica en primer orden / por Pablo Ventura, director Miguel Campercholi. por Idioma: Español
Detalles de publicación: [S.l. : s.n. ], 2023
Nota de disertación: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2023.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C VEN.
3.
Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas / por Araceli Acosta, director Nazareno Aguirre. por Idioma: Español
Detalles de publicación: [S.l. : s.n. ], 2022
Nota de disertación: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2022.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C ACO.
4.
Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden / Pablo Ventura. por
Detalles de publicación: [S.l. : s.n. ], 2016
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación, 2016.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 21 - 22733.
5.
Variedades con congruencias factor ecuacionalmente definibles / Badano, Mariana. por
Detalles de publicación: [S.l. : s.n. ], 2012
Nota de disertación: Tesis (Doctor en Matemática)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T M B132.
6.
The foundations of mathematics / Kenneth Kunen. por Series
Detalles de publicación: London : College Publication, 2012
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 K96f.
7.
Elements of finite model theory / Leonid Libkin. por Series Texts in theoretical computer science | EATCS series
Detalles de publicación: Berlin ; Springer, c2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 L695.
8.
Representaciones globales y clases algebráicamente extensibles / Miguel Campercholi. por
Detalles de publicación: [S.l. : s.n. ], 2006
Nota de disertación: Tesis (Doctor en Matemática)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2006.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: T M C195, ...
9.
Logic and its applications / ed. Andreas Blass, Yi Zhang. por Series Contemporary mathematics ; v. 380 | CONM ; v. 380
Detalles de publicación: Providence : American Mathematical Society, 2005
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AMS CONM v. 380.
10.
Model theory : an introduction / David Marker. por Series Graduate texts in mathematics ; v. 217
Detalles de publicación: New York : Springer, c2002
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 M345.
11.
Computable structures and the hyperarithmetical hierarchy / C.J. Ash, J. Knight. por Series Studies in logic and the foundations of mathematics ; v. 144
Edición: 1st ed.
Detalles de publicación: Amsterdam ; New York : Elsevier, 2000
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 A819.
12.
Finite model theory and computational complexity / Xavier Caicedo. por Series Apuntes de matemática ; 32
Detalles de publicación: Bogotá, Colombia : Universidad de los Andes. Departamento de Matemática, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 68 C133.
13.
Model theory / Wilfrid Hodges. por Series Encyclopedia of mathematics and its applications ; v. 42
Detalles de publicación: Cambridge, U.K. : Cambridge University, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 H688.
14.
Models and ultraproducts: an introduction / By J. L. Bell and A. B. Slomson. por
Detalles de publicación: Amsterdam, North-Holland, 1969
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 B433m.
15.
16.
17.
Introduction to model theory and to the metamathematics of algebra / Abraham Robinson. por Series Studies in logic and the foundations of mathematics
Detalles de publicación: Amsterdam : North-Holland, 1963
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 R658.
18.
Complete theories / Abraham Robinson. por Series Studies in logic and the foundations of mathematics
Detalles de publicación: Amsterdam, North-Holland , 1956
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 R658c.
Páginas


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)