Ajustar la búsqueda

Su búsqueda obtuvo 539 resultados.

Ordenar
Resultados
Ejercicos de lógica / Alberto Moreno

por Moreno, Alberto.

Series Biblioteca del Universitario, ManualesEdición: 2ª ed.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Buenos Aires : Eudeba, 1973Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 51/ 10.061.

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.

Lógic y algorithmos : con aplicaciones a las ciencias de la computación e información / Robert R. Korfhage

por Korfhage, Robert R.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: México : Editorial Limusa-Wiley, 1970Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: Ma-10. 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Ubicación, signatura topográfica: BA/70/510.6/KOR/log.

Fundamentos para una teoría general de los deberes / Carlos E. Alchourrón ; edición y estudio introductorio de José Juan Moreso y Jorge Luis Rodríguez.

por Alchourrón, Carlos E | Moreso, Josep-Joan [editor literario] | Rodríguez, Jorge L [editor literario].

Series Filosofía y derechoTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Marcial Pons, Ediciones Jurídicas y Sociales, 2010Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-5744.

Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y Prolog / Luis de Ledesma

por Ledesma, Luis de.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Ra-Ma, 2009Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (4)Ubicación, signatura topográfica: 510.6/LED/log, ...

Principia mathemática : (hasta el 56) / Alfred North Whitehead y Bertrand Russell

por Whitehead, Alfred North | Russell, Bertrand, (1872-1970).

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: Depósito-510.6/WHI/pri. Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/362.

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

The languages of logic : an introduction to formal logic / Samuel Guttenplan

por Guttenplan, Samuel.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Oxford : Basil Blackwell, 1991Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (2)Ubicación, signatura topográfica: Sótano-46/1-248, ...

Las trampas de Circe : falacias lógicas y argumentación informal / Montserrat Bordes Solanas

por Bordes Solanas, Montserrat.

Edición: 4ª ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción ; Audiencia: Adulto; Detalles de publicación: Madrid : Cátedra, 2018Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (4)Ubicación, signatura topográfica: 800.85/BOR/tra, ... No disponible:06. BIBLIOTECA HUMANIDADES: 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).

Introducción a las comparaciones de confianza / Juan Carlos Ga.-Bermejo Ochoa.

por García-Bermejo Ochoa, Juan Carlos.

Series Estudios / Universidad Autónoma de Madrid ; 41.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Universidad Autónoma de Madrid, D.L. 1994Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-25/5-275.

Los precursores británicos de la lógica moderna / Pilar Castrillo Criado.

por Castrillo Criado, Pilar.

Series Aula Abierta ; 68.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Universidad Nacional de Educación a Distancia, D.L. 1993Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-27/1-314.

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.

Controladores lógicos / Manuel Álvarez Pulido

por Álvarez Pulido, Manuel.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Barcelona : Marcombo, 2004Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.5/ALV/con.

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.

Relaciones entre la lógica formal y el pensamiento real / E. W. Beth, Jean Piaget

por Beth, E. W | Piaget, Jean, 1896-1980.

Series Ciencia Nueva ; 22Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Ciencia Nueva, 1968Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-44/5-177.

Las presuposiciones lingüísticas / Fernando García Murga

por García Murga, Fernando.

Series Filología y Lingüística (Universidad del País Vasco) ; 1Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Bilbao : Universidad del País Vasco, 1998Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: FI-E-79. 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: 801.54/GAR/pre.

Lógica para la computación / Manuel Ojeda Aciego, Inmaculada Pérez de Gúzman Molina

por Ojeda Aciego, Manuel | Perez de Guzmán, Inmaculada.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Málaga : Ágora, 1997Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (3)Ubicación, signatura topográfica: 510.6/OJE/log, ...

Lógica para la computación I / Gabriel Aguilera Venegas, Inmaculada de Gúzman Molina

por Aguilera Venegas, Gabriel | Perez de Guzmán, Inmaculada.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Málaga : Ágora, 1993Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (5)Ubicación, signatura topográfica: 510.6/AGU/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.

Páginas

Con tecnología Koha