Resultados
|
|
|
Mathematical logic / Stephen Cole Kleene. por Kleene, Stephen Cole. Series Dover books on mathematicsTipo de material:  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.
|
|
|
|
|
|
|
|
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.
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
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, ...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Theory of recursive functions and effective computability / Hartley Rogers por Rogers, Hartley. Edición: 3rd ed.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Detalles de publicación: Cambridge : The MIT Press, 1987Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/ROG/the.
|
|
|
|
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).
|
|
|
|
Journal of philosophical logic por Association for Symbolic Logic (New York) [ed.]. Tipo de material:  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.
|
|
|
|
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.
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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).
|