Su búsqueda recuperó 178 resultados.

Resultados
		Set theory and foundations of mathematics : an introduction to mathematical logic / Douglas Cenzer, Jean Larson, Christopher Porter, Jindrich Zapletal por Cenzer, Douglas [autor] \| Larson, Jean (Jean Ann) [autor] \| Porter, Christopher (Christopher P.) [autor] \| Zapletal, Jindřich, 1969- [autor]. Tipo de material: Texto; Forma literaria: No es ficción Editor: New Jersey : World Scientific, [2020]Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1). Hacer reserva Agregar al carrito (remover)
		Set Theory [recurso electrónico] : Centre de Recerca MatemÃƒÆ’Ã‚Â tica Barcelona, 2003ÃƒÂ¢Ã¢â€šÂ¬Ã¢â‚¬Å“2004 / edited by Joan Bagaria, Stevo Todorcevic. por Bagaria, Joan \| Todorcevic, Stevo \| SpringerLink (Servicio en linea). Series Trends in mathematicsTipo de material: Archivo de ordenador; Formato: electrónico disponible en línea Detalles de publicación: Basel : Birkhauser, 2006Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Set theory : with an introduction to real point sets / by Abhijit Dasgupta por Dasgupta, Abhijit [autor]. Tipo de material: Texto; Formato: electrónico ; Forma literaria: No es ficción Editor: New York, NY : Birkhäuser, [2014]Fecha de copyright: ©2014Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1). Hacer reserva Agregar al carrito (remover)
		Set theory : exploring independence and truth / Ralf Schindler por Schindler, Ralf-Dieter [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Springer, [2014]Fecha de copyright: ©2014Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1). Hacer reserva Agregar al carrito (remover)
		Set theory / [Kenneth Kunen] por Kunen, Kenneth [autor]. Series Studies in Logic : Mathematical logic and Foundations ; Volume 34Edición: Revised editionTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: London, UK : College Publications, 2013Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1). Hacer reserva Agregar al carrito (remover)
		The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Godel / I. Grattan-Guinness por Grattan-Guinness, I [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Princeton, New Jersey : Princeton University Press, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 G69. Hacer reserva Agregar al carrito (remover)
		Roads to infinity : the mathematics of truth and proof / John Stillwell por Stillwell, John [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Natick, Massachusetts : A. K. Peters, c2010Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 S76. Hacer reserva Agregar al carrito (remover)
		The Review of symbolic logic. por Association for Symbolic Logic. Tipo de material: Recurso continuo Editor: Cambridge : Cambridge University Press, 2008-Disponibilidad: No disponible para préstamo a domicilio:Revistas: Estantería cerrada (29). Agregar al carrito (remover)
		Recent Trends in Algebraic Development Techniques [recurso electrónico] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari. por Corradini, Andrea \| Montanari, Ugo \| SpringerLink (servicio en lnea). Series Lecture notes in computer science ; 5486Tipo de material: Archivo de ordenador; Formato: electrónico disponible en línea Detalles de publicación: Berlin : Springer, 2009Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Quantifiers, propositions, and identity : admissible semantics for quantified modal and substructural logics / Robert Goldblatt por Goldblatt, Robert [autor]. Series Lecture notes in logic ; 38Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge : Cambridge University Press, 2011Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.46 G66. Hacer reserva Agregar al carrito (remover)
		Propositional and Predicate Calculus A Model of Argument [recurso electrónico] / by Derek Goldrei. por Goldrei, Derek \| SpringerLink (Servicio en linea). Tipo de material: Archivo de ordenador; Formato: electrónico disponible en línea Detalles de publicación: London : Springer, 2005Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Proofs and refutations : the logic of mathematical discovery / Imre Lakatos por Lakatos, Imre [autor]. Tipo de material: Texto; Forma literaria: No es ficción Editor: Cambridge : Cambridge University Press, c1976Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA8.4 L34. Hacer reserva Agregar al carrito (remover)
		Proof Theory for Fuzzy Logics [recurso electrónico] / by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise. por Metcalfe, George \| Barwise, Jon \| Gabbay, Dov M \| Gabbay, Dov \| Olivetti, Nicola \| SpringerLink (Servicio en linea). Series Applied Logic Series ; 36Tipo de material: Archivo de ordenador; Formato: electrónico disponible en línea Detalles de publicación: Dordrecht : Springer Netherlands, 2009Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Proof Theory [recurso electrónico] : The First Step into Impredicativity / by Wolfram Pohlers. por Pohlers, Wolfram \| SpringerLink (Servicio en linea). Series UniversitextTipo de material: Archivo de ordenador; Formato: electrónico disponible en línea Detalles de publicación: Berlin : Springer, 2009Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Proof in geometry / by A.I. Fetisov. With Mistakes in geometric proofs / by Ya. S. Dubnov por Fetisov, A. I [autor] \| Dubnov, Ya. S. Dubnov. Mistakes in geometric proofs. Edición: Dover ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: Inglés Lenguaje original: Ruso Editor: Mineola, New York : Dover, 2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA481 F4813 2006. Hacer reserva Agregar al carrito (remover)
		A profile of mathematical logic / Howard Delong por Delong, Howard, 1936- [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Mineola, New York : Dover, 2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 D44 2004. Hacer reserva Agregar al carrito (remover)
		Problems in set theory, mathematical logic, and the theory of algorithms / Igor Lavrov and Larisa Maksimova ; edited by Giovanna Corsi ; translated by Valentin Shehtman por Lavrov, Igor Andreevich [autor] \| Maksimova, Larisa Lvovna [autor] \| Corsi, Giovanna [editor] \| Shehtman, Valentin [traductor]. Series The university series in mathematicsTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Kluwer Academic/Plenum, 2003Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 L36813. Hacer reserva Agregar al carrito (remover)
		Problems and Theorems in Classical Set Theory [recurso electrónico] / by PÃƒÆ’Ã‚Â©ter KomjÃƒÆ’Ã‚Â¡th, Vilmos Totik. por KomjÃƒÆ’Ã‚Â¡th, PÃƒÆ’Ã‚Â©ter \| Totik, Vilmos \| SpringerLink (Servicio en linea). Series Problem Books in MathematicsTipo de material: Archivo de ordenador; Formato: electrónico disponible en línea Detalles de publicación: New York, New York : Springer, 2006Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Principles of mathematical logic / D. hilbert, w. ackermann ; translated from the German by Lewis m. hammond por Hilbert, David, 1862-1943 [autor]. Tipo de material: Texto; Forma literaria: No es ficción Editor: New York : Chelsea, c1950Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 H5. Hacer reserva Agregar al carrito (remover)
		Popular lectures on mathematical logic / Wang hao por Wang, Hao, 1921- [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Van Nostrand Reinhold, c1981Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 W344. 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