Su búsqueda obtuvo 4 resultados.

Ordenar
Resultados
Set theory : with an introduction to descriptive set theory / K. Kuratowski and A. Mostowski

por Kuratowski, Kazimierz, 1896- | Mostowski, Andrzej.

Series Studies in logic and the foundations of mathematics ; vol.86Edición: 2nd edTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Amsterdam ; Oxford : North-Holland, 1976Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/014.

The lambda calculus : its syntax and semantics

por Barendregt, H. P.

Series Studies in logic and the foundations of mathematics ; 103Edición: 1st ed. rev.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Amsterdam : North-Holland, 1984Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 511.3/BAR/lam.

Set theory : an introduction to independence proofs / Kenneth Kunen

por Kunen, Kenneth.

Series Studies in logic and the foundations of mathematics ; vol.102Edición: 2 ed.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Amsterdam ; New York : North-Holland Pub. Co, 1983Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/015.

Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H.J. Keisler... [et al.]

por Barwise, Jon [editor literario].

Series Studies in logic and the foundations of mathematics ; 90Edición: reimp. 2006Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Amsterdam : Elsevier, 1977Disponibilidad: No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1).

Páginas

Con tecnología Koha