Ajustar la búsqueda

Su búsqueda obtuvo 193 resultados.

Ordenar
Resultados
Giuseppe Peano y la utopa̕ del lenguaje / Eduardo Agپero Mackern

por Agüero Mackern, Eduardo.

Series Aula abierta (Universidad Nacional de Educación a Distancia)Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : UNED, 2004Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-19/1-155.

El teorema de Gödel / Ernest Nagel y James R. Newman

por Nagel, Ernest | Newman, James R.

Series Cuadernos de Filosofía y EnsayoEdición: 2ª ed.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Tecnos, 1994Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: Ma-538.

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.

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.

Logique mathématique / Jean François Pabion ; préf. de Marcel Guillaume

por Pabion, Jean François, 1942-.

Series Collection Méthodes | MathématiquesTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Paris : Hermann, c1976Disponibilidad: Ítems disponibles para préstamo: 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Ubicación, signatura topográfica: 510.6/PAB/log. Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 510.6/PAB/log.

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.

Lógica simbólica / Manuel Garrido

por Garrido, Manuel.

Series Filosofía y ensayoEdición: 4a ed.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Tecnos, 2001Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/GAR/log.

Logique moderne

por Grize, Jean-Blaise.

Tipo de material: Texto Texto; Formato: impreso Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (2)Ubicación, signatura topográfica: Sótano-34/1-035, ...

Lógica matemática / Joaquín Aranda Almansa, José Luis Fernández Marrón, Fernando Morilla García

por Aranda Almansa, Joaquín | Fernández Marrón, José Luis | Morilla García, Fernando.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Sanz y Torres, 1993Disponibilidad: Ítems disponibles para préstamo: 00. BIBLIOTECA CAMPUS DE ALGECIRAS (1)Ubicación, signatura topográfica: 510.6/ARA/log. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-510.6/ARA/log.

Lógica formal / Paul Lorenzen

por Lorenzen, Paul.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Selecciones Científicas, D.L. 1970Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-44/5-154.

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.

Una introducción matemática a la lógica / Herbert B. Enderton ; traducción José Alfredo Amor Montaño

por Enderton, Herbert B.

Series Filosofía contemporáneaEdición: 2ª ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: México : Universidad Nacional Autónoma de México, 2004Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 510.6/END/int, ...

Primer curso de logica matematica / Patrick Suppes, Shirley Hill ; version español de Enrique Lines Escardo

por Suppes, Patrick | Hill, Shirley A.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Reverte, 1978Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (3)Ubicación, signatura topográfica: Ma-103, ... Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 510.6/SUP/pri.

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.

Fundamentos de lógica matemática / Joaquín Aranda Almansa ... [et al.]

por Aranda Almansa, Joaquín.

Edición: 2a ed., 2a reimp.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Sanz y Torres, 2001Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 510.6/FUN, ... No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1).

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.

Páginas

Con tecnología Koha