Refinar su búsqueda

Su búsqueda retornó 280 resultados.

Ordenar
Resultados
101.
Algebraic methods of mathematical logic / Ladislav Rieger ; translated by Michal Basch. por Idioma: engund
Detalles de publicación: New York : Academic Press, 1967
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 R554.
102.
Introducción a la lógica / Irving M. Copi. por Series Manuales de EUDEBA. Filosofía
Edición: 13a. ed.
Detalles de publicación: Buenos Aires : EUDEBA, 1973
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 C783e13.
103.
Cardinal invariants on Boolean algebras / J. Donald Monk. por Series Progress in mathematics ; v. 142
Detalles de publicación: Basel ; Boston : Birkhäuser, c1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 M745c.
104.
Mathematical logic / Joseph R. Shoenfield. por Series Addison-Wesley series in logic
Detalles de publicación: Reading, Mass. : Addison-Wesley, 1967
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 S559.
105.
Introduction to mathematical logic / Elliott Mendelson. por Series The University series in undergraduate mathematics
Detalles de publicación: Princeton, New Jersey : Van Nostrand D., 1964
Disponibilidad: Ítems disponibles para préstamo: FaMAF (3)Signatura topográfica: AR M 03 M537 , ...
106.
Mathematical logic / Willard Van Orman Quine. por
Edición: Rev. ed.
Detalles de publicación: Cambridge : Harvard University, 1958
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 Q72ma.
107.
Foundations of mathematics / William S. Hatcher. por Series Saunders mathematics books
Detalles de publicación: Philadelphia : Saunders W. B., 1968
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 H361.
108.
Foundations of mathematical logic / Haskell B. Curry. por Series McGraw-Hill series in higher mathematics
Detalles de publicación: New York : McGraw-Hill. 1963
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 C976f.
109.
Logic, semantics, metamathematics : papers from 1923 to 1938 / by Alfred Tarski ; translated by J. H. Woodger. por Idioma: Inglés Lenguaje original: Indeterminado
Detalles de publicación: Oxford, Clarendon Press, 1956
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 T193s.
110.
Non-standard analysis / Abraham Robinson. por Series Studies in logic and the foundations of mathematics
Detalles de publicación: Amsterdam : North-Holland, 1966
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 26 R658.
111.
112.
113.
Logic in algebraic form : Three languages and theories / William Graig. por Series Studies in logic and the foundations of mathematics ; v. 72
Detalles de publicación: Amsterdam : North-Holland, 1974
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 C886.
114.
Software abstractions : logic, language and analysis / Daniel Jackson. por
Detalles de publicación: Cambridge, Mass. : MIT, c2006
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4 J12s, ...
115.
116.
Elements of mathematics : Nicolas Bourbaki. theory of sets / por Series Actualités scientifiques et industrielles | Adiwes international series in mathematicsIdioma: Inglés
Detalles de publicación: Paris : Hermann, 1968
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 B766.
117.
Algebras, términos y variedades / Edgardo Cabanillasi. por
Detalles de publicación: [S.l. : s.n. ], 2008
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2008.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: Trabajo Especial Computación CAJA 9 - 19180, ...
118.
Classification theory / ed. J. T. Baldwin. por Series Lecture notes in mathematics ; v. 1292 | LNM ; v. 1292
Detalles de publicación: Berlin : Springer, 1987
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M LNM v. 1292 .
119.
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / ed. Wilfried Buchholz. por Series Lecture notes in mathematics ; v. 897 | LNM ; v. 897
Detalles de publicación: Berlin : Springer, 1981
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M LNM v. 897.
120.
Methods in mathematical logic / ed. C. A. Prisco. por Series Lecture notes in mathematics ; v. 1130 | LNM ; v. 1130
Detalles de publicación: Berlin : Springer, 1985
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M LNM v. 1130 .
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)