Resultados de la búsqueda para '6341'

Resultados
		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)
		How to prove it : A structured approach / Daniel J. Velleman por Velleman, Daniel J. Tipo de material: 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. 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)
		Induction and analogy in mathematics / by G. Polya por Polya, George. Series Mathematics and plausible reasoning ; vol.1Tipo de material: Texto; Formato: impreso Detalles de publicación: London : OUP, 1954Disponibilidad: No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Patrimonio bibliográfico (1). Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		The evolution of principia mathematica : Bertrand Russell's manuscripts and notes for the second edition / Bernard Linsky por Linsky, Bernard. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge : Cambridge University, 2011Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/LIN/evo. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		How to prove it : A structured approach / Daniel J. Velleman por Velleman, Daniel J. Edición: 1st. ed. 1st.repr.Tipo de material: Texto; Formato: impreso Detalles de publicación: Cambridge : University Press, 1995Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (5)Ubicación, signatura topográfica: 510.6/VEL/how, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Introduction to mathematical logic : Set Theory, computable functions, model theory / Jerome Malitz por Malitz, Jerome. Series Undergraduate texts in mathematicsTipo de material: Texto; Formato: impreso Detalles de publicación: Berlín : Springer-Verlag, 1979 (impr. 1987)Disponibilidad: No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1). 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)
		Introduction to logic / by Patrick Suppes por Suppes, Patrick. Series University series in Undergraduate mathematicsTipo de material: Texto; Formato: impreso Detalles de publicación: New York [etc.] : D. Van Nostrand Company, 1957Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/SUP/int. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		How to read and do proofs an introduction to mathematical thougth processes / Daniel Solow por Solow, Daniel. Edición: 2 nd ed.Tipo de material: Texto; Formato: impreso Detalles de publicación: New York : Hohn Wiley sons, 1990Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 51/ 39.239. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		First-order logic / Raymond M. Smullyan por Smullyan, R.M. Tipo de material: Texto; Formato: impreso Detalles de publicación: New York : Dover Publications, 1995Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/SMU/fir. No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (2). Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas por Ebbinghaus, Heinz-Dieter \| Flum, H.-D \| Thomas, W. Series Undergraduate Texts in MathematicsEdición: 2nd. ed.Tipo de material: Texto; Formato: impreso Detalles de publicación: New York : Springer, 1994Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/EBB/mat. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-510.6/EBB/mat. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Mathematical logic / by Joseph R. Shoenfield por Shoenfield, Joseph R. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Natick : A.K. Peters, 2001Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/SHO/mat. No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1). 03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1). 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. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Lincoln : iUniverse.com, 1999Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: 510.6/HEI/fro. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Mathematical thought and its objects / Charles Parsons. por Parsons, Charles, 1933-. Tipo de material: 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. 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)
		Notes on logic and set theory / P. T. Johnstone por Johnstone, P. T. Series Cambridge mathematical textbooksTipo de material: Texto; Formato: impreso Detalles de publicación: New York : Springer, cop. 1993Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: 510.6/JOH/not, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Logic for computer scientists / Uwe Schöning por Schöning, Uwe. Series Progress in computer science and applied logic ; 8Tipo de material: Texto; Formato: impreso Detalles de publicación: Berlín : Birkhäuser, 1989Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: 510.6/SCH/log, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Matemática discreta / Félix García Merayo por García Merayo, Félix. Edición: 3ª ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid: Paraninfo, 2015Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (3)Ubicación, signatura topográfica: 519.6/GAR/mat, ... 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 519.6/GAR/mat, ... 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)

Ajustar la búsqueda

Disponibilidad

Autores

Tipos de ítem

Series

Temas

Bibliotecas depositarias

Bibliotecas de origen

Idiomas

Su búsqueda obtuvo 22 resultados.