Su búsqueda retornó 280 resultados.

Resultados
	61.	No hay imagen de cubierta disponible Lógica, lenguaje y significado / L. T. F. Gamut ; traducido del inglés por Cecilia Durán. por Gamut, L. T. F Durán Cecilia [tr.] Series Enciclopedia lógica Detalles de publicación: Buenos Aires : EUDEBA, 2009 Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4 G194 v.1, ... Agregar al carrito (remover)
	62.	Gödel, Escher, Bach : un eterno y grácil bucle / Douglas R. Hofstadter. por Hofstadter, Douglas R, 1945- Detalles de publicación: Barcelona : Tusquets, 2007 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 H713g. Agregar al carrito (remover)
	63.	The haskell road to logic, maths and programming / Kees Doets. por Doets, Kees Eijck, Jan van Series Texts in computing ; v. 4 Detalles de publicación: London : Kings College Publications, 2004 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3 D653. Agregar al carrito (remover)
	64.	Stochastic coalgebraic logic / Ernst-Erich Doberkat. por Doberkat, Ernst Erich, 1948- Series Monographs in theoretical computer science \| EATCS series Detalles de publicación: Berlin : Springer, 2010 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 D633. Agregar al carrito (remover)
	65.	Gödel (para todos) / Guillermo Martínez y Gustavo Piñeiro. por Martínez, Guillermo, 1962- Piñeiro, Gustavo Ernesto, 1966- Detalles de publicación: Buenos Aires : Seix Barral, 2009 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 M385. Agregar al carrito (remover)
	66.	Gödel : paradoja y vida / Rebecca Goldstein ; traducción Víctor Úbeda. por Goldstein, Rebecca, 1950- Úbeda, Víctor [tr.] Series Grandes descubrimientos Detalles de publicación: Barcelona . Antoni Bosch, 2005 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 01 G624g. Agregar al carrito (remover)
	67.	Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. por Huth, Michael, 1962- Ryan, Mark Dermot, 1962- Edición: 2nd ed. Detalles de publicación: Cambridge ; New York : Cambridge University, 2009 Acceso en línea: Table of contents Publisher description Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4 H979, ... Agregar al carrito (remover)
	68.	The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna. por Bradley, Aaron R Manna, Zohar Detalles de publicación: Berlin : Springer, 2007 Acceso en línea: Table of contents Publisher description Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 B811. Agregar al carrito (remover)
	69.	Introducción a la lógica / Irving M. Copi. por Copi, Irving M, 1917-2002 Series Manuales de EUDEBA Edición: 4a ed. 4a reimp. Detalles de publicación: Buenos Aires : EUDEBA, 2009 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 C783e4. Agregar al carrito (remover)
	70.	Gödel's proof / by Ernest Nagel and James Roy Newman ; edited and with a new foreword by Douglas R. Hofstadter. por Nagel, Ernest, 1901- Newman, James Roy, 1907-1966 Edición: ed. rev. Detalles de publicación: New York : New York University, 2001 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 N147g. Agregar al carrito (remover)
	71.	No hay imagen de cubierta disponible La utilidad matemática de la formalización / D. Dubarle. por Dubarle, D Series Suplementos del Seminario de Problemas Científicos y Filosóficos. Segunda serie ; no. 7 Detalles de publicación: México : Universidad Nacional de México, [1958] Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 D813. Agregar al carrito (remover)
	72.	No hay imagen de cubierta disponible Conferencias de matemática II : matemática intuicionista / E. Witt. por Witt, E Detalles de publicación: Madrid : Instituto de Matemáticas "Jorge Juan", 1951 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 W827. Agregar al carrito (remover)
	73.	No hay imagen de cubierta disponible The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis. por Davis, Martin, 1928- [ed.] Detalles de publicación: Hewlett, New York : Raven Press, 1965 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 U551. Agregar al carrito (remover)
	74.	No hay imagen de cubierta disponible Essays in experimental logic / by John Dewey. por Dewey, John, 1859-1952 Series Dover books Detalles de publicación: New York : Dover, [1916] Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 D519. Agregar al carrito (remover)
	75.	No hay imagen de cubierta disponible Logic and language : studies dedicated to Professor Rudolf Carnap on the occasion of his seventieth birthday. Series Synthese library Detalles de publicación: Dordrecht, Holland : Reidel D., c1962 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 L832lo. Agregar al carrito (remover)
	76.	No hay imagen de cubierta disponible Recursive analysis / Reuben Louis Goodstein. por Goodstein, Reuben Louis, 1912-1985 Series Studies in logic and the foundations of mathematics Detalles de publicación: Amsterdam : North-Holland, 1961 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 G655. Agregar al carrito (remover)
	77.	No hay imagen de cubierta disponible A critical exposition of the philosophy of Leibniz : Bertrand Russell. with an appendix of leading passages ; preface to the second editions / por Russell, Bertrand, 1872-1970 Detalles de publicación: London : Allen G. & Unwin, 1964 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 R961. Agregar al carrito (remover)
	78.	No hay imagen de cubierta disponible The Paradox of the liar / Edited by Robert L. Martin. por Martin, Robert L, 1940- [ed.] Detalles de publicación: New Haven : Yale University , 1970 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 P224. Agregar al carrito (remover)
	79.	No hay imagen de cubierta disponible La logique de Leibniz : d'après des documents inédits / Louis Couturat. por Couturat, Louis, 1868-1914 Detalles de publicación: Hildesheim : Olms G., 1961 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 C858. Agregar al carrito (remover)
	80.	No hay imagen de cubierta disponible Computer programming and formal systems / Edited by Paul Braffort and David Hirschberg. por Braffort, Paul, 1923-2018 [ed.] Hirschberg, David [ed.] 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: M 03 C738. Agregar al carrito (remover)

Nuestras Redes Sociales

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)

Refinar su búsqueda

Disponibilidad

Autores

Tipos de ítem

Ubicaciones

Series

Temas

Su búsqueda retornó 280 resultados.