Refinar su búsqueda

Su búsqueda retornó 558 resultados.

Ordenar
Resultados
1.
What is the name of this book? : the riddle of Dracula and other logical puzzles [recurso electrónico] / Raymond M. Smullyan. por Idioma: Inglés
Detalles de publicación: New Jersey : Prentice-Hall, 1978
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Libro electrónico.
2.
La fundamentación de la matemática [recurso electrónico] / Carlos Zuppa. por En: Revista de Educación Matemática vol. 18, no. 2 (2003)
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Revista de Educación Matemática 2 2003.
3.
4.
5.
Lógica simbólica y lógica aplicada a la matemática [recurso electrónico] / Hernán González. por En: Revista de Educación Matemática vol. 26, no. 2 (2011)
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Revista de Educación Matemática 2 2011.
6.
Type-driven development with Idris / Edwin Brady. por
Detalles de publicación: New York : Manning Publications, 2017
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 B812.
7.
Gödel : dos teoremas que revolucionaron las matemáticas / Gustavo Ernesto Piñeiro. por Series Genios de las matemáticas ; v. 18
Detalles de publicación: España : RBA Coleccionables, 2017
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 01 P661g.
8.
Cantor : el infinito en matemáticas : lo incontable es lo que cuenta / Gustavo Ernesto Piñeiro. por Series Grandes ideas de la ciencia ; v. 30
Detalles de publicación: Buenos Aires : RBA Coleccionables, 2013
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 01 P661.
9.
Introducción al simbolismo lógico / Jorge Bosch. por Series Ediciones previas. Lógica
Edición: 3a ed.
Detalles de publicación: Buenos Aires : EUDEBA, 1967
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 B742e3.
10.
11.
12.
Sixteen papers on logic and algebra / by V. A. Baranskiĭ ... [et al.]. por Series Translations. Series 2 ; v. 94 | TRANS2 ; v. 94
Detalles de publicación: Providence, Rhode Island : American Mathematical Society, 1970
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AMS TRANS2 v. 94.
13.
Introducción a la lógica / Irving M. Copi. por Series Manuales de EUDEBA. Filosofía
Edición: 5a. ed.
Detalles de publicación: Buenos Aires : EUDEBA, 1967
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 C783e5.
14.
Introducción a la lógica / Irving M. Copi. por Series Manuales de EUDEBA. Filosofía
Edición: 1a. ed.
Detalles de publicación: Buenos Aires : EUDEBA, 1962
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 C783.
15.
Semantics engineering with PLT Redex / Matthias Felleisen, Robert Bruce Findler, Matthew Flatt. por
Detalles de publicación: Cambridge, Mass. : MIT Press, c2009
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 F318.
16.
Aplicaciones de álgebra universal al reticulado de Post / Maico C. Leberle. por
Detalles de publicación: [S.l. : s.n. ], 2017
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, 2017.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 21 - 22870.
17.
The Works of Antonio A. Monteiro [recurso electrónico] / edited by Eduardo L. Ortiz and Alfredo Pereira Gomes ; presentation by Jean-Pierre Kahane. por
Detalles de publicación: Lisbon : Fundação Calouste Gulbenkian ; ; London : The Humboldt Press, 2008
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 W926.
18.
Archiv für mathematische Logik und Grundlagenforschung / Hans Hermes, Jürgen von Kempski, Kurt Schütte. por Idioma: gereng
Detalles de publicación: Stuttgart : W. Kohlhammer Verlag, 1950-1987
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 H553.
19.
An introduction to bisimulation and coinduction / Davide Sangiorgi. por
Detalles de publicación: Cambridge ; New York : Cambridge University, c2012
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 S195.
20.
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets / Robert I Soare. por Series Perspectives in mathematical logic
Detalles de publicación: Berlin : Springer, 1987
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 S676.
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)