Ajustar la búsqueda

Su búsqueda obtuvo 22 resultados.

Ordenar
Resultados
Lògica per representar el coneixement / Carles Garcia Amengual.

por Garcia Amengual, Carles | Universitat de les Illes Balears. Servei de Publicacions i Intercanvi Científic.

Series Materials didàctics ; 95.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: [Palma de Mallorca] : Universitat de les Illes Balears , 2002Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 160/GAR/log.

Exercicis i proves objectives de lògica per representar el coneixement / Carles Garcia Amengual.

por Garcia Amengual, Carles | Universitat de les Illes Balears. Servei de Publicacions i Intercanvi Científic.

Series Materials didàctics ; 97.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: [Palma de Mallorca] : Universitar de les Illes Balears , 2002Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 160/GAR/exe.

Algebraic logic

por Halmos, Paul R, (Paul Richard,), 1916-.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : Chelsea Pub. Co, [1962]Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 512.563.6/HAL/alg.

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

Éléments de mathématiques modernes / Moses Richardson, Traduit par R. de Marcillac

por Richardson, Moses, 1911-.

Series Sigma ; 4Edición: 10ª ed. rev. et augm.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Paris : Dunod, 1968Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 51/ 4.756.

Logical design of digital systems / Arthur D. Friedman

por Friedman, Arthur Daniel.

Series Pitman international textsTipo de material: Texto Texto Detalles de publicación: London : Pitman, 1977Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 519.68/FRI/log.

El juego de la lógica y otros escritos / selección y prólogo de Alfredo Deaño

por Carroll, Lewis, 1832-1898 | Deaño Gamallo, Alfredo.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : El Libro de Bolsillo Alianza, [1972]Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 510.6/CAR/jue.

Set theory and the continuum hypothesis / Paul J. Cohen ; with a new introduction by Martin Davis.

por Cohen, Paul J, 1934-2007.

Series Dover books on mathematicsEdición: Dover ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Mineola, N.Y. : Dover Publications, 2008Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/697.

Lógica matemática y computabilidad / Juan Sancho de San Román

por Sancho de San Román, Juan.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Díaz de Santos, c1990Disponibilidad: Ítems disponibles para préstamo: 00. BIBLIOTECA CAMPUS DE ALGECIRAS (1)Ubicación, signatura topográfica: 510.6/SAN/log. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (3)Ubicación, signatura topográfica: 510.6/SAN/log, ... Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 510.6/SAN/log.

Fundamentos de lógica y teoría de la ciencia / Miguel A. Quintanilla

por Quintanilla, Miguel A.

Series Manuales universitarios (Universidad de Salamanca) ; 9Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Salamanca : Universidad de Salamanca, 1981Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 160.1/QUI/fun. 04. BIBLIOTECA CIENCIAS DE LA SALUD (1)Ubicación, signatura topográfica: 18.408/D.

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.

Set theory and the continuum hypothesis / [by] Paul J. Cohen

por Cohen, Paul J, 1934-.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : W.A. Benjamin, [1966]Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/615.

Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee

por Chang, Chin-Liang | Lee, Richard Char-Tung.

Series Computer science and applied mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: San Diego [etc.] : Academic Press, 1973Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/CHA/sym. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-510.6/CHA/sym.

Ensayo de lógica operatoria / Jean Piaget

por Piaget, Jean, 1896-1980.

Series Biblioteca pedagógicaTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Buenos Aires : Guadalupe, 1977Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: 16/PIA/ens, ...

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.

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.

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.

Simple games : desirability relations, trading, pseudoweightings / Alan D. Taylor and William S. Zwicker.

por Taylor, Alan D | Zwicker, William S.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Princeton (New Jersey) : Princeton University Press, cop. 1999Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 519.83/TAY/sim.

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.

Infinito, transfinito, finito / Juan David García Bacca

por García Bacca, Juan David, 1901-1992.

Series Pensamiento crítico/pensamiento utópico ; 7Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Anthropos, Editorial del Hombre, 1984Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: epósito - 1/ 22.513.

Páginas

Con tecnología Koha