Su búsqueda recuperó 178 resultados.

Resultados
		Induction and analogy in mathematics / By g. polya por Pólya, George, 1887-1985 [autor] \| Princeton University. Tipo de material: Texto; Formato: impreso Editor: Princeton, new jersey : Princeton University Press, 1954-9999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 P51. Hacer reserva Agregar al carrito (remover)
		In the light of logic [recurso electrónico] / Solomon Feferman por Feferman, Solomon \| NetLibrary (Firma comercial). Series Logic and computation in philosophyTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Detalles de publicación: New York : Oxford University, c1998Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Hausdorff on ordered sets / J.M. Plotkin, editor ; translated by J.M. Plotkin por Hausdorff, Felix, 1868-1942 [autor] \| Plotkin, Jacob M, 1941- [editor]. Series History of mathematics ; v. 25Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: Inglés Lenguaje original: Alemán Editor: Providence, Rhode Island American Mathematical Society, c2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA171.48 H38. Hacer reserva Agregar al carrito (remover)
		Handbook of mathematical logic / Edited by jon barwise ; with the cooperation of h. j. keisler... y otros.! por Barwise, Jon [autor]. Series Studies in logic and the foundations of mathematics ; 90Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : North-holland, 1977Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 B38. Hacer reserva Agregar al carrito (remover)
		Handbook of mathematical induction : theory and applications / David S. Gunderson por Gunderson, David S [autor]. Series Discrete mathematics and its applicationsTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Boca Raton, Florida : Chapman & Hall/CRC, 2011Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.54 G85. Hacer reserva Agregar al carrito (remover)
		Graph structure and monadic second-order logic : a language-theoretic approach / Bruno Courcelle, Joost Engelfriet por Courcelle, B [autor] \| Engelfriet, Joost [autor]. Series Encyclopedia of mathematics and its applications ; 138Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge : Cambridge University Press, 2012Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 C69. Hacer reserva Agregar al carrito (remover)
		Games, logic, and constructive sets / edited by Grigori Mints, Reinhard Muskens por Mints, Grigori E [editor] \| Muskens, Reinhard, 1953- [editor]. Series CSLI lecture notes ; 161Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Stanford, California : CSLI, c2003Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 G345. Hacer reserva Agregar al carrito (remover)
		Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers / Bernd S. W. Schroder por Schroder, Bernd Siegfried Walter, 1966- [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Hoboken : Wiley, 2010Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 S357. Hacer reserva Agregar al carrito (remover)
		From mathematical constructivity to computer science : Alan turing, john von neumann, and the origins of computer science in mathematical logic / By William f. aspray por Aspray, William F [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Wisconsin : W. f. aspray, 1980Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA28 A76. Hacer reserva Agregar al carrito (remover)
		From frege to godel : A source book in mathematical logic, 1879-1931. por Van Heijenoort, Jean, 1912- [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge : Harvard University Press, 1967Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 H45. Hacer reserva Agregar al carrito (remover)
		Foundations of mathematical logic / Haskell b. curry por Curry, Haskell B. (Haskell Brooks), 1900-1982 [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Dover, c1977Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 C82. Hacer reserva Agregar al carrito (remover)
		Forcing, iterated ultrapowers, and Turing degrees / editors by Chitat Chong, Qi Feng, Theodore A. Slaman, W. Hugh Woodin, Yue Yang por Chong, C.-T. (Chi-Tat), 1949- [editor] \| Feng, Qi, 1955- [editor] \| Slaman, T. A. (Theodore Allen), 1954- [editor] \| Woodin, W. H. (W. Hugh) [editor] \| Yang, Yun [editor]. Series Lecture notes series, Institute for Mathematical Sciences, National University of Singapore ; volume 29Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New Jersey : World Scientific, 2016Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.7 F67. Hacer reserva Agregar al carrito (remover)
		First-order logic. por Smullyan, Raymond M [autor]. Series Ergebnisse der mathematik und ihrer grenzgebiete ; 43Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 1968Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 S57. Hacer reserva Agregar al carrito (remover)
		A first journey through logic / Martin Hils, François Loeser por Hils, Martin, 1973- [autor] \| Loeser, François [autor]. Series Student mathematical library ; volume 89Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Providence, Rhode Island : American Mathematical Society, [2019]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 H5467. Hacer reserva Agregar al carrito (remover)
		A first course in mathematical logic and set theory / Michael L. O'Leary por O'Leary, Michael L [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Hoboken, New Jersey : John Wiley, [2016]Fecha de copyright: ©2016Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1). Hacer reserva Agregar al carrito (remover)
		First course in mathematical logic / Patrick Suppes and Shirley Hill por Suppes, Patrick, 1922- [autor] \| Hill, Shirley A [autor]. Edición: Dover ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Mineola, New York : Dover, 2002Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 S859 2002. Hacer reserva Agregar al carrito (remover)
		A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman por Hedman, Shawn [autor]. Series Oxford texts in logic ; 1Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford, UK : Oxford University Press, 2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 H36. Hacer reserva Agregar al carrito (remover)
		A first course in logic [recurso electrónico] : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman por Hedman, Shawn \| NetLibrary (Firma comercial). Series Oxford texts in logic ; 1Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Detalles de publicación: Oxford : Oxford University, 2004Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Extending the frontiers of mathematics : inquiries into proof and argumentation / Edward B. Burger por Burger, Edward B, 1963- [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Emeryville, California : Key College, c2007Acceso en línea: Solamente tabla de contenido Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.54 B87. Hacer reserva Agregar al carrito (remover)
		The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition / Bernard Linsky por Linsky, Bernard [autor]. Tipo 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.R88 L56. 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