Ajustar la búsqueda

Su búsqueda obtuvo 88 resultados.

Ordenar
Resultados
Mathematical logic : an introduction to model theory / A.H. Lightstone, edited by H.B. Enderton

por Lightstone, Albert Harold | Enderton, Herbert Bruce.

Series Mathematical concepts and methods in science and engineering ; vol.9Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York ; London : Plenum Press, 1978Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/326.

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.

Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner

por Gabbay, Dov M, 1945- | Guenthner, F.

Series Synthese library ; 164 ;Tipo de material: Texto Texto Detalles de publicación: Dordrecht ; London : Kluwer Academic ; c1994Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (4)Ubicación, signatura topográfica: Matemáticas - 510.21/HAN, ...

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.

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 evolution of principia mathematica : Bertrand Russell's manuscripts and notes for the second edition / Bernard Linsky

por Linsky, Bernard.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge : Cambridge University, 2011Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/LIN/evo.

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.

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, ...

Proofs from the book / Martin Aigner, Günter M. Ziegler

por Aigner, Martin | Ziegler, Günter M.

Edición: 2nd ed.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin [etc.] : Springer-Verlag , 2001Disponibilidad: No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1).

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).

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.

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.

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).

Páginas

Con tecnología Koha