Su búsqueda recuperó 19 resultados.

Resultados
		Beginning model theory : The completeness theorem and some consequences / By Jane bridge por Bridge, Jane [autor]. Series Oxford logic guidesTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford : Clarendon Press, 1977Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA9.7 B74, ... Hacer reserva Agregar al carrito (remover)
		Bodean-valued models and independence proofs in set theory / J. l. bell por Bell, J. L. (John Lane) [autor]. Series Oxford logic guides ; 12Tipo de material: Texto; Forma literaria: No es ficción Editor: Oxford : Clarendon Press, 1985Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 B44 1985. Hacer reserva Agregar al carrito (remover)
		Cantorian set theory and limitation of size / Michael hallett por Hallett, Michael, 1930- [autor]. Series Oxford logic guides ; 10Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford, gran bretana : Clarendon Press, 1984Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA248 H25, ... Hacer reserva Agregar al carrito (remover)
		Cardinal arithmetic / Saharon Shelah por Shelah, Saharon [autor]. Series Oxford logic guides ; 29Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Oxford : Clarendon Press Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 S439. Hacer reserva Agregar al carrito (remover)
		Choice sequences : A chapter of intuitionistic mathematics / By a. s. troelstra por Troelstra, A. S. (Anne Sjerp) [autor]. Series Oxford logic guidesTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford : Clarendon Press, 1977Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.47 T36. Hacer reserva Agregar al carrito (remover)
		Computability and randomness / André Nies por Nies, André [autor]. Series Oxford logic guides ; 51Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford : Oxford University Press, 2009Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA267.7 N54. Hacer reserva Agregar al carrito (remover)
		Computability theory, semantics and logic programming / Melvin Fitting por Fitting, Melvin, 1942- [autor]. Series Oxford logic guides ; 13Tipo de material: Texto; Forma literaria: No es ficción Editor: New York : Oxford University Press ; Oxford : Clarendon Press, 1987Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.59 F57. Hacer reserva Agregar al carrito (remover)
		Elementary categories, elementary toposes / Colin mclarty por Mclarty, Colin [autor]. Series Oxford logic guides ; 21Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford : Clarendon Press, 1992Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (3). Hacer reserva Agregar al carrito (remover)
		Features and fluents : the representation of knowledge about dynamical systems / Erik Sandewall por Sandewall, Erik [autor]. Series Oxford logic guides ; 30Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Oxford : Clarendon Press , 1994-Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q387 S35. Hacer reserva Agregar al carrito (remover)
		Geometric stability theory / Anand Pillay por Pillay, Anand [autor] \| University of Oxford. Series Oxford logic guides ; 32Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Oxford : New York : Clarendon Press ; Oxford University Press, 1996Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.7 P55 1996. Hacer reserva Agregar al carrito (remover)
		Groups of finite Morley rank / Alexandre Borovik and Ali Nesin por Borovik, Alexandre [autor] \| Nesim, Ali, 1941- [autor] \| University of Oxford. Series Oxford logic guides ; 26Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford : Oxford University Press, 1994Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.7 B67. Hacer reserva Agregar al carrito (remover)
		Interpolation and definability : modal and intuitionistic logics / D. M. Gabbay, L. Maksimova por Gabbay, Dov M, 1945- [autor] \| Maksimova, Larisa Lvovna [autor]. Series Oxford logic guides ; 46Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción ; Audiencia: Especializado; Editor: Oxford : Clarendon Press, 2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA281 G33. Hacer reserva Agregar al carrito (remover)
		Models of peano arithmetic / Richard kaye por Kaye, Richard [autor]. Series Oxford logic guides ; 15Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford : Clarendon Press, 1991Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 K39. Hacer reserva Agregar al carrito (remover)
		Recursion theory for metamathematics / Raymond m. smullyan por Smullyan, Raymond M [autor] \| University of Oxford. Series Oxford logic guides ; 22Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Oxford University Press, c1993Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA9.6 S58, ... Hacer reserva Agregar al carrito (remover)
		Relative category theory and geometric morphisms : A logical approach / Jonathan chapman and frederick rowbottom por Chapman, Jonathan [autor] \| Rowbottom, Frederick [autor]. Series Oxford logic guides ; 16Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford : Clarendon Press, c1991Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA169 C43, ... Hacer reserva Agregar al carrito (remover)
		Set theory : Boolean-valued models and independence proofs / John L. Bell por Bell, J. L. (John Lane) [autor]. Series Oxford logic guides ; 47.Edición: 3rd ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford ; México : Oxford University Press, 2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 B44 2005. Hacer reserva Agregar al carrito (remover)
		Set theory and the continuum problem / Raymond M. Smullyan and Melvin Fitting por Smullyan, Raymond M [autor] \| Fitting, Melvin, 1942- [autor]. Series Oxford logic guides ; 34Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Clarendon Press, 1997Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 S58 1997. No disponible para préstamo a domicilio:Libros: Prestado (1). Hacer reserva Agregar al carrito (remover)
		Set theory with a universal set : Exploring an untyped universe / T.e. forster por Forster, T. E [autor]. Series Oxford logic guides ; 20Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford : Clarendon Press, 1992Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 F67. Hacer reserva Agregar al carrito (remover)
		The structure of models of Peano arithmetic / Roman Kossak, James H. Schmerl por Kossak, Roman, 1953- [autor] \| Schmerl, James Henry, 1940- [autor]. Series Oxford logic guides ; 50Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford : Clarendon Press, 2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.7 K67. Hacer reserva Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Hacer una sugerencia de compra

Universidad Nacional Autónoma de México

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad