Su búsqueda recuperó 178 resultados.

Resultados
		Combinatorics, complexity, and logic : proceedings of DMTCS '96 / D.S. Bridges ... [y otros.] por DMTCS '96 (1996 : Auckland, N.Z.) \| Bridges, D. S. (Douglas S.), 1945- [editor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA164 D57. Hacer reserva Agregar al carrito (remover)
		The collected works of j. richard buchi / Saunders mac lane, dirk siefkes, eds por Buchi, J. Richard [autor] \| Mac Lane, Saunders, 1909-2005 [editor] \| Siefkes, Dirk [editor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Springer Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA267 B83. Hacer reserva Agregar al carrito (remover)
		Collected works / Kurt Godel ; ed. by Solomon Feferman editor-in-chief... [y otros.] ; prepared under the auspices of the Association for Symbolic Logic por Godel, Kurt, 1906-1978 [autor] \| Feferman, Solomon [editor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Oxford University Press : Clarendon Press, 1986-Disponibilidad: Ítems disponibles para préstamo: Libros (5)Clasificación: QA9 G5813, ... Hacer reserva Agregar al carrito (remover)
		Classical mathematical logic : the semantic foundations of logic / Richard L. Epstein ; with contributions by Lesaw W. Szczerba por Epstein, Richard L, 1947- [autor] \| Szczerba, Lesaw W [colaborador]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Princeton, New Jersey : Princeton University Press, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 E67. Hacer reserva Agregar al carrito (remover)
		Classical and fuzzy concepts in mathematical logic and applications / Mircea Reghi÷s, Eugene Roventa por Reghi÷s, Mircea [autor] \| Roventa, Eugene [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Boca Raton : CRC Press, c1998Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 R4115. Hacer reserva Agregar al carrito (remover)
		The Big Typescript, TS. 213 [recurso electrónico] / Ludwig Wittgenstein ; edited and translated by C. Grant Luckhardt and Maximilian Aue por Wittgenstein, Ludwig, 1889-1951 \| Aue, Maximilian [editor] \| Luckhardt, C. Grant, 1943- [editor] \| NetLibrary (Firma comercial). Edición: German-English scholar's ed.Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Idioma: Inglés, Alemán Lenguaje original: Alemán Detalles de publicación: Malden, Massachusetts : Blackwell, 2005Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		A beginner's further guide to mathematical logic / Raymond Smullyan por Smullyan, Raymond M [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Singapore : World Scientific, [2017]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 S558. Hacer reserva Agregar al carrito (remover)
		Appalachian set theory : 2006-2012 / James Cummings, Ernest Schimmerling por Cummings, James [autor] \| Schimmerling, Ernest [autor]. Series London Mathematical Society lecture note series ; 406Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Cambridge University Press, 2013Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 C85. Hacer reserva Agregar al carrito (remover)
		Analysis and synthesis of logics [recurso electrónico] : how to cut and paste reasoning systems / Walter Carnielli ... [et al.] por Carnielli, Walter Alexandre [colaborador] \| SpringerLink (servicio en línea). Series Applied logic series ; v. 35Tipo de material: Archivo de ordenador; Formato: electrónico disponible en línea Detalles de publicación: Dordrecht : Springer, 2008Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Analysis and logic / edited by Catherine Finet & Christian Michaux ; authors, C. Ward Henson ... [y otros.] por Finet, Catherine [editor] \| Henson, C. W [colaborador] \| Michaux, Christian [editor]. Series London Mathematical Society lecture note series ; 262Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Cambridge : Cambridge University Press, 2002Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA300.5 A525. Hacer reserva Agregar al carrito (remover)
		Algebraic systems / A. i. mal'cev ; translated from the russian by b. d. seckler and a. p. doohovskoy por Malʹt︠s︡ev, A. I. (Anatolii Ivanovich), 1909-1967 [autor] \| Seckler, B. D [traductor] \| Doohovskoy, A. P [traductor] \| Mal'sev, A. I. (Anatolii Ivanovich), 1909-1967. Algebraicheskie sistemy. Series Die grundlehren der mathematischen wissenschaften in einzeldarstellungen ; bd. 192Tipo de material: Texto; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 1973Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA162 M35. Hacer reserva Agregar al carrito (remover)
		Algebraic logic / Paul R. Halmos por Halmos, Paul R. (Paul Richard), 1916-2006 [autor]. Series Dover books on mathematicsTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Mineola, New York : Dover Publications, 2016Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA266 H3 2016. Hacer reserva Agregar al carrito (remover)
		An algebraic introduction to mathematical logic / By D. W. Barnes and J. M. Mack por Barnes, Donald W, 1935- [autor] \| Mack, John M [autor]. Series Graduate text in mathematics ; 22Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Springer Verlag, 1950Otro título: Mathematical logic.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 B36. Hacer reserva Agregar al carrito (remover)
		Alfred Tarski : life and logic / Anita Burdman Feferman, Solomon Feferman por Feferman, Anita Burdman [autor] \| Feferman, Solomon [autor]. Tipo de material: Texto; Formato: impreso ; Naturaleza de los contenidos: ; Forma literaria: No es ficción Editor: Cambridge, United Kingdom : Cambridge University Press, 2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA29.T37 F44. Hacer reserva Agregar al carrito (remover)
		Alan turing's systems of logic : the Princeton thesis / edited and introduced by Andrew W. Appel por Appel, Andrew W, 1960- [editor]. Tipo de material: Texto; Forma literaria: No es ficción Editor: Princeton, New Jersey : Princeton University Press, 2012Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.2 A53. Hacer reserva Agregar al carrito (remover)
		After Gödel : Platonism and rationalism in mathematics and logic / Richard Tieszen por Tieszen, Richard L [autor]. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Detalles de publicación: Oxford : Oxford University Press, c2011Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas / Su Gao, Steve Jackson, Yi Zhang, editors por North Texas Logic Conference (2004 : University of North Texas) \| Gao, Su, 1968- [editor] \| Jackson, Steve, 1957- [editor] \| Zhang, Yi, 1964- [editor]. Series Contemporary mathematics (American Mathematical Society) ; v. 425Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Providence, Rhode Island : American Mathematical Society, c2007Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1). Hacer reserva Agregar al carrito (remover)
		Abstract sets and finite ordinals : an introduction to the study of set theory / G.B. Keene por Keene, Geoffrey Bourton [autor]. Edición: Dover ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Mineola, New York : Dover, 2007Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 K44 2007. 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

Unidad de Documentación del Centro de Ciencias Matemáticas, Morelia

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

Aviso de Privacidad