Resultados de la búsqueda para 'su:"Logic, Symbolic and mathematical"'

Resultados
		É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; 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. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		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; 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. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		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; 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. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		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; 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. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		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; 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. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		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; 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. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		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; 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. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		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; 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. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Primer curso de logica matematica / Patrick Suppes, Shirley Hill ; version espagnol de Enrique Lines Escardo por Suppes, Patrick \| Hill, Shirley A. Tipo de material: Texto; Formato: impreso Detalles de publicación: Barcelona : Reverte, 1968Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-44/5-193. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Una introducción algebraica a la lógica matemática / Donald W. Barnes por Barnes, Donald W \| Mack, John M. Tipo de material: Texto; Formato: impreso Detalles de publicación: Barcelona : EUNIBAR, 1978Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/BAR/int. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Set theory and the continuum hypothesis / [by] Paul J. Cohen por Cohen, Paul J, 1934-. Tipo de material: 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. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		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 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, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		The Oxford handbook of philosophy of mathematics and logic / edited by Stewart Shapiro. Series Oxford handbooks in philosophyTipo de material: 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. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Ensayo de lógica operatoria / Jean Piaget por Piaget, Jean, 1896-1980. Series Biblioteca pedagógicaTipo de material: 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, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		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; 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. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Lógicas de nuestro tiempo / Ángel Garrido. por Garrido, Ángel. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Dykinson, 2014Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (2)Ubicación, signatura topográfica: F-6439, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		From Frege to Gödel : a source book in Mathematical Logic, 1879-1931 / Jean van Heijenoort por Heijenoort, Jean van [compilador]. Series Source books in the history of the sciencesTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge : Harvard University Press, [2002]Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: 164/FRO. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		E.W. Beth Memorial Colloquium : logic and foundations of science : Paris, Institut Henri Poincaré, 19-21 May 1964 / ed. by Jean-Louis Destouches. por Beth, Evert Willem, 1908-1964 [] \| Destouches, Jean-Louis \| E.W. Beth Memorial Colloquium (19-05-1964 - 21-05-1964 : Paris). Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Dordrecht : Reidel, 1967Disponibilidad: Ítems disponibles para préstamo: 04. BIBLIOTECA CIENCIAS DE LA SALUD (1)Ubicación, signatura topográfica: 9.085/D";"1102/08/EWB. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Filosofía y computación / Angel Garrido. por Garrido, Angel. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Dykinson, 2017Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-6756. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Logic, proof, and set theory / by Marvin L. Bittinger por Bittinger, Marvin L., (Marvin Lowell,), 1941-. Edición: 2nd edTipo de material: 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. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)

Ajustar la búsqueda

Disponibilidad

Autores

Tipos de ítem

Series

Temas

Bibliotecas depositarias

Bibliotecas de origen

Idiomas

Su búsqueda obtuvo 28 resultados.