Ajustar la búsqueda

Su búsqueda obtuvo 34 resultados.

Ordenar
Resultados
Mathematical logic / Stephen Cole Kleene.

por Kleene, Stephen Cole.

Series Dover books on mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Mineloa, New York : Dover, 2002Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/KLE/mat.

Introducción a la metamatemática / Stephen Cole Kleene.

por Kleene, Stephen Cole.

Series Estructura y función ; 42.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Tecnos, 1974Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-32/5-187.

Pruebas y refutaciones : la lógica del descubrimiento matemático / Imre Lakatos

por Lakatos, Imre | Worrall, John | Zahor, Elie | Solis, Carlos.

Series Alianza universidad ; 206Edición: [2a ed. en "Alianza Universidad"]Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Alianza, 1982Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: 1Lakatos/LAK/pru.

¿Qué es la lógica matemática? / J.N. Crossley... [et al.] ; presentación y notas de Luis Ml. Valdés, traducción [del inglés] de Jesús Alcolea Banegas ; revisada por Luis Ml. Valdés

por Crossley, John N | Meléndez Valdés, Luis | Alcolea Banegas, Jesús.

Series Cuadernos de filosofía y ensayoTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Tecnos, 1983Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 164.1:51/QUE. 06. BIBLIOTECA HUMANIDADES (2)Ubicación, signatura topográfica: Sótano-44/5-189, ...

Lógica, matemáticas y realidad / Anastasio Alemán Pardo.

por Alemán Pardo, Anastasio.

Edición: 2ª ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Madrid : Tecnos, 2011Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-6074.

Mathematical thought and its objects / Charles Parsons.

por Parsons, Charles, 1933-.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Cambridge University Press, 2008Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: 510.21/PAR/mat.

The Oxford handbook of philosophy of mathematics and logic / edited by Stewart Shapiro.

Series Oxford handbooks in philosophyTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Oxford ; New York : Oxford University Press, 2005Otro título: Philosophy of mathematics and logic.Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: 510.21/OXF.

Obras completas / Kurt Gödel, Introducción y traducción de Jesús Mostesín

por Gödel, Kurt.

Series Alianza Universidad ; 286Edición: 2 ed.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Alianza Editorial, 1989Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 510.6/GOD/obr.

Cómo entender y hacer demostraciones en matemáticas / Daniel Solow

por Solow, Daniel.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: México : Limusa, 1987Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: Ma-16.

Pensar matemáticamente / John Mason, Leone Burton, Kaye Stacey ; [traducción de Mariano Martínez Pérez]

por Mason, J. C | Burton, Leone | Stacey, Kaye.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Madrid : Labor; Centro de Publicaciones del MEC, 1988Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-510.6/MAS/pen.

Curso Básico de Matemáticas. Unidad 17 : Lógica : Prueba c / preparado por el equipo del curso Básico de Matemáticas

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: México : McGraw-Hill, [1975]Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 51/CUR.

Éléments de mathématiques modernes / par M. Richardson; Traduit par R. de Marcillac

por Richardson, Moses | Marcillac, R. de [traductor].

Series Sigma ; 4Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Paris : Dunod, 1963Disponibilidad: No disponible:11. BCA.HISTÓRICA - CÁDIZ: Patrimonio bibliográfico (1).

Matemàtica discreta / Robert Fuster i Capilla

por Fuster Capilla, Robert.

Series Renaixenјa i futur ; 3587Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Valencia : Universitat Politècnica de València, 2009Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 519.6/FUS/mat.

La lógica en la escuela / Maurice Glaymann, P. C. Rosenbloom

por Glaymann, Maurice | Rosenbloom, P.C | Bergadá, Doménec | Foix, Rosa.

Series Enseñanza de la matemática moderna ; 11Edición: 1ª ed. en castellanoTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Teide, 1973Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: Depósito - 1/ 16.483, ...

Éléments de logique mathématique : théorie des modèles / G.K. Kreisel, J.C. Krivine

por Kreisel, Georg | Krivine, Jean Louis.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Paris : Dunod, 1967Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 51/ 4.682.

Logic, proof, and set theory / by Marvin L. Bittinger

por Bittinger, Marvin L., (Marvin Lowell,), 1941-.

Edición: 2nd edTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Reading, MA ; London : Addison-Wesley, 1982Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/658.

Matemática discreta / Félix García Merayo.

por García Merayo, Félix.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Paraninfo, D.L. 2001Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (9)Ubicación, signatura topográfica: 519.6/GAR/mat, ...

El discreto encanto de las matemáticas : 100 nuevos problemas de matemáticas y lógica / Mariano Mataix Lorda

por Mataix Lorda, Mariano.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Marcombo, D.L. 1981Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (3)Ubicación, signatura topográfica: 51-8/MAT/dis, ...

Jaque a las matemáticas / Luis Ferrero

por Ferrero de Pablo, Luis.

Series Aula abiertaTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : La Muralla, 2010Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 51-8/FER/jaq.

Matemática discreta / Félix García Merayo

por García Merayo, Félix.

Edición: 3ª ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid: Paraninfo, 2015Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (3)Ubicación, signatura topográfica: 519.6/GAR/mat, ... 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 519.6/GAR/mat, ...

Páginas

Con tecnología Koha