Refinar su búsqueda

Su búsqueda retornó 15 resultados.

Ordenar
Resultados
1.
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.
2.
Generación de expresiones referenciales bajo incertidumbre con teoría de modelos / Ivana Romina Altamirano. por
Detalles de publicación: [S.l. : s.n. ], 2016
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, 2016.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C ALT.
3.
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.
4.
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.
5.
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.
6.
Tópicos en teoría de preservación / Pedro Octavio Sánchez Terraf. por
Detalles de publicación: [S.l. : s.n. ], 2001
Nota de disertación: Tesis (Lic. en Matemática)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2001.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: TE M S211 ej.2, ...
7.
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.
8.
Model theory / Chen Chung Chang, H. Jerome Keisler. por Series Studies in logic and the foundations of mathematics ; v. 73
Detalles de publicación: Amsterdam : North-Holland, 1973
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 CH456 .
9.
Cours de logique mathematique / Roland Fraisse. por Series Collection de logique mathématique. Série A ; no. 23
Edición: 2a. ed. rev. and mod.
Detalles de publicación: Paris : Gauthier-Villars, 1971-1975
Disponibilidad: Ítems disponibles para préstamo: FaMAF (4)Signatura topográfica: AR M 03 F812 v.1, ...
10.
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.
11.
Elements of mathematical logic : G. Kreisel, J. L. Krivine. model theory / por Series Studies in logic and the foundations of mathematics
Detalles de publicación: Amsterdam : North-Holland, 1967
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 K922 .
12.
Éléments de logique mathématique : théorie des modèles / G. Kreisel, J. L. Krivine. por Series Monographies de la Société Mathématique de France ; no. 3
Detalles de publicación: Paris, Dunod, 1967
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 K922e.
13.
14.
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.
15.
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)