Ajustar la búsqueda

Su búsqueda obtuvo 18 resultados.

Ordenar
Resultados
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.

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.

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.

Pruebas y refutaciones : la lógica del descubrimiento matemático / Imre Lakatos

por Lakatos, Imre | Worrall, John | Zahor, Elie | Solis, Carlos.

Series Alianza universidad ; 206Edición: [2a ed. en "Alianza Universidad"]Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Alianza, 1982Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: 1Lakatos/LAK/pru.

Fundamentación lógica de la física / Rudolf Carnap

por Carnap, Rudolf, 1891-1970.

Series Historia del pensamiento ; 89Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Buenos Aires : Sudamericana, 1969Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-12/2-024.

¿Qué es la lógica matemática? / J.N. Crossley... [et al.] ; presentación y notas de Luis Ml. Valdés, traducción [del inglés] de Jesús Alcolea Banegas ; revisada por Luis Ml. Valdés

por Crossley, John N | Meléndez Valdés, Luis | Alcolea Banegas, Jesús.

Series Cuadernos de filosofía y ensayoTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Tecnos, 1983Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 164.1:51/QUE. 06. BIBLIOTECA HUMANIDADES (2)Ubicación, signatura topográfica: Sótano-44/5-189, ...

Lógica, matemáticas y realidad / Anastasio Alemán Pardo.

por Alemán Pardo, Anastasio.

Edición: 2ª ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Madrid : Tecnos, 2011Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-6074.

Journal of philosophical logic

por Association for Symbolic Logic (New York) [ed.].

Tipo de material: Recurso continuo Recurso continuo; Formato: impreso ; Tipo de descriptor de recurso continuo: periódico Detalles de publicación: Dordrecht : Ed. D. Reidel. Disponibilidad: Ítems disponibles para referencia: 13. HEMEROTECA UCA: Not for loan (1)Ubicación, signatura topográfica: CajaHUM-0728.

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éments de mathématiques modernes / par M. Richardson; Traduit par R. de Marcillac

por Richardson, Moses | Marcillac, R. de [traductor].

Series Sigma ; 4Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Paris : Dunod, 1963Disponibilidad: No disponible:11. BCA.HISTÓRICA - CÁDIZ: Patrimonio bibliográfico (1).

Fundamentos de la meta-técnica / por Ernesto Mayz Vallenilla

por Mayz Vallenilla, Ernesto.

Series Hombre y sociedad (Gedisa). Cla-De-MaTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Gedisa, 1993Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 5/ 38.773.

Grammaire de Montague : Langage, traduction, interpretation

por Chambreuil, Michel.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Clermont : Adosa, 1989Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-46/3-109.

Intuition and the axiomatic method / edited by Emily Carson and Renate Huber

por Carson, Emily | Huber, Renate.

Series University of Western Ontario series in philosophy of science ; 70Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Dordrecht : Springer, c2006Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: 510.21/INT.

From signs to propositions : the concept of form in eighteenth-century semantic theory / Stephen K. Land

por Land, Stephen K.

Series Longman linguistics library ; 16Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: London : Longman, 1974Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-43/6-236.

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

Lógica del discurso normativo / Georges Kalinowski

por Kalinowski, Georges, 1916-.

Series Estructura y funciónTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Tecnos, 1975Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (3)Ubicación, signatura topográfica: F-5021, ...

Ontology and the logistic analysis of language : an enquiry into the contemporary views on universals / Guido Kung ; [translated by E.C.M. Mays, and revised by the author].

por Küng, Guido.

Series Synthese libraryEdición: Rev. ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Dordrecht : D. Reidel, 1967Disponibilidad: Ítems disponibles para préstamo: 04. BIBLIOTECA CIENCIAS DE LA SALUD (1)Ubicación, signatura topográfica: 10.655/D";"7202/07/KUN.

Gödel, Escher, Bach : un eterno y grácil bucle / Douglas R. Hofstadter ; trad. Mario A. Usabiaga y Alejandro Lâopez Rousseau ; col. Franco Somonetti, Andrea Parada, Claudio L. Lamadrid

por Hofstadter, Douglas R.

Series Matatemas ; 14Edición: [6ª ed.]Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Barcelona : Tusquets, 1998Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/HOF/god.

Páginas

Con tecnología Koha