Ajustar la búsqueda

Su búsqueda obtuvo 88 resultados.

Ordenar
Resultados
Introducción a la lógica formal / Alfredo Deaño

por Deaño, Alfredo.

Series El libro universitario. Manuales ; ; 035Edición: 1ª ed. en "Manuales"Tipo de material: Texto Texto Detalles de publicación: Madrid : Alianza, 1999Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-Zona de Descanso - 164/DEA/int. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (4)Ubicación, signatura topográfica: 164/DEA/int, ...

How to prove it : A structured approach / Daniel J. Velleman

por Velleman, Daniel J.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge : University Press, 1994Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 510.6/VEL/how.

Lógica matemática / José F. Prida ; edición al cuidado de Angel d'Ors y Enrique Gallego; [prólogo de Jörg Flum]

por Prida, José F, 1934-2003 | Ors, Angel d' [editor literario] | Gallego, Enrique, 1949- [editor literario] | Flum, Jörg [prologuista].

Series Manuales (Marova)Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Marova D.L.2009Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/PRI/log.

Lógica matemática / José Ferrater Mora y Hughes Leblanc

por Ferrater Mora, José | Leblanc, Hugues.

Series Obras de filosofía (Fondo de Cultura Económica)Edición: 4ª ed.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: México : Fondo de Cultura Económica, 1967Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 51/ 28.914.

How to prove it : A structured approach / Daniel J. Velleman

por Velleman, Daniel J.

Edición: 1st. ed. 1st.repr.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge : University Press, 1995Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (5)Ubicación, signatura topográfica: 510.6/VEL/how, ...

Lógica Axiomática / Antonio González Carloman

por González Carloman, Antonio | Universidad de Oviedo.

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

Introduction to mathematical logic : Set Theory, computable functions, model theory / Jerome Malitz

por Malitz, Jerome.

Series Undergraduate texts in mathematicsTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlín : Springer-Verlag, 1979 (impr. 1987)Disponibilidad: No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1).

Induction and analogy in mathematics / by G. Polya

por Polya, George.

Series Mathematics and plausible reasoning ; vol.1Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: London : OUP, 1954Disponibilidad: No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Patrimonio bibliográfico (1).

Lógica matemática / José Ferrater Mora y Hughes Leblanc

por Ferrater Mora, José | Leblanc, Hugues.

Series Obras de filosofía (Fondo de Cultura Económica)Edición: 8a edTipo de material: Texto Texto; Formato: impreso Detalles de publicación: México : Fondo de Cultura Económica, 1983Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 164.1/FER/log.

La lógica formal / A. Virieux-Reymond ; traducción de Néstor Alberto Míguez.

por Virieux-Reymond, A.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Buenos Aires : Ateneo, [1976]Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 164/VIR/log.

Teoría de modelos elemental / Humberto Marraud Gonzalez

por Marraud Gonzalez, Humberto.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Universidad Autonoma, 1990Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/MAR/teo.

Nociones de lógica formal / Joseph Dopp

por Dopp, Joseph.

Series Filosofía y ensayo (Tecnos)Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Técnos, 1969Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-19. 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 164/DOP/noc.

Lógica para matemáticos / A.G. Hamilton

por Hamilton, A.G.

Series Lógica y teoría de la cienciaTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Paraninfo, 1981Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/HAM/log. Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/531.

Obras completas / Kurt Gödel ; introducción y traducción de Jesús Mosterín

por Godel, Kurt.

Series Alianza Universidad ; 286Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Alianza Editorial, D.L. 1981Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/GOD/obr. Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/024.

Computación II / preparado por el Equipo del Curso Básico de Matemáticas

por Open University.

Series Curso básico de matemáticas /The Open University ; 20Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Panamá : McGraw-Hill, cop. 1974Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 51/CUR.

Introduction to logic / by Patrick Suppes

por Suppes, Patrick.

Series University series in Undergraduate mathematicsTipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York [etc.] : D. Van Nostrand Company, 1957Disponibilidad: No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1).

Matemática finita : conjuntos, lógica, estructuras, probabilidades / Sixto Ríos

por Rios, Sixto.

Edición: 2ª ed. corr.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Paraninfo, 1972Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 510/RIO/mat.

Initiation au raisonnement déductif au collége : une suite de situations permettant làppropriation des régles du débat mathématique / Gilbert Arsac...[et al.]

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Lyon : Presses Universitaires, 1992Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 51/ 39.278.

How to read and do proofs an introduction to mathematical thougth processes / Daniel Solow

por Solow, Daniel.

Edición: 2 nd ed.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : Hohn Wiley sons, 1990Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 51/ 39.239.

Una introducción constructiva a la teoría de modelos / José Sanmartín Esplugues

por Sanmartin Esplugues, José.

Series Serie de MatemáticaEdición: [1a ed.]Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Tecnos, D.L. 1977Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/175.

Páginas

Con tecnología Koha