Su búsqueda recuperó 178 resultados.

Resultados
		Wittgenstein's Tractatus [recurso electrónico] : an introduction / Alfred Nordmann por Nordmann, Alfred, 1956- \| NetLibrary (Firma comercial). Series Cambridge introductions to key philosophical textsTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Detalles de publicación: Cambridge : Cambridge University, 2005Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Why prove it again? : alternative proofs in mathematical practice / John W. Dawson, Jr ; with the assistance of Bruce S. Babcock and with chapter by Steven H. Weintraub por Dawson, John W. (John William), 1944- [autor] \| Babcock, Bruce S [colaborador] \| Weintraub, Steven H [colaborador]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cham : Birkhäuser, [2015]Fecha de copyright: ©2015Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.54 D38. Hacer reserva Agregar al carrito (remover)
		What is mathematical logic / By j. n. crossley, c. j. ash, c. j. brickhill... y otros.! por Crossley, John N. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Dufdod : University Press, 1972Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 W4122. Hacer reserva Agregar al carrito (remover)
		What is mathematical logic? / J. n. crossley... [y otros.] por Crosley, John N [autor]. Tipo de material: Texto; Formato: impreso Editor: New York : Dover, 1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 W4122 1990. Hacer reserva Agregar al carrito (remover)
		What is a number? : mathematical concepts and their origins / Robert Tubbs por Tubbs, Robert, 1954- [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Baltimore : Johns Hopkins University Press, 2009Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA8.4 T83. Hacer reserva Agregar al carrito (remover)
		Visualization, Explanation and Reasoning Styles in Mathematics [recurso electrónico] / edited by Paolo Mancosu, Klaus Frovin JÃƒÆ’Ã‚Â¸rgensen, Stig Andur Pedersen. por Mancosu, Paolo \| JÃƒÆ’Ã‚Â¸rgensen, Klaus Frovin \| Pedersen, Stig Andur \| SpringerLink (Servicio en linea). Series Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 327Tipo de material: Archivo de ordenador; Formato: electrónico disponible en línea Detalles de publicación: Dordrecht : Springer, 2005Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Valued Fields [recurso electrónico] / by Antonio J. Engler, Alexander Prestel. por Engler, Antonio J \| Prestel, Alexander \| SpringerLink (Servicio en linea). Series Springer Monographs in MathematicsTipo de material: Archivo de ordenador; Formato: electrónico disponible en línea Detalles de publicación: Berlin : Springer, 2005Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Truth through proof : a formalist foundation for mathematics / Alan Weir por Weir, Alan [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, c2010Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Towards Mathematical Philosophy [recurso electrónico] : Papers from the Studia Logica conference Trends in Logic IV / edited by Ryszard WÃƒÆ’Ã‚Â³jcicki, Vincent F. Hendricks, Daniele Mundici, Ewa OrÃƒâ€¦Ã¢â‚¬Å¡owska, Krister Segerberg, Heinrich Wansing, David Makinson, Jacek Malinowski, Heinrich Wansing. por WÃƒÆ’Ã‚Â³jcicki, Ryszard \| Hendricks, Vincent F \| Makinson, David \| Malinowski, Jacek \| Mundici, Daniele \| OrÃƒâ€¦Ã¢â‚¬Å¡owska, Ewa \| Segerberg, Krister \| Wansing, Heinrich \| Wansing, Heinrich \| SpringerLink (Servicio en linea). Series Trends in Logic ; 28Tipo 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)
		Toposes and local set theories : an introduction / J. l. bell por Bell, J. L. (John Lane) [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Mineola, New York : Dover, 2008Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA169 B45 2008. Hacer reserva Agregar al carrito (remover)
		The tools of mathematical reasoning / Tamara J. Lakins por Lakins, Tamara J, 1963- [autor]. Series Pure and applied undergraduate texts ; volume 26Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Providence, Rhode Island : American Mathematical Society, [2016]Fecha de copyright: ©2016Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA300 L354. Hacer reserva Agregar al carrito (remover)
		Thinking about Godel and Turing : essays on complexity 1970-2007 / Gregory J Chaitim ; with a foreword by Paul Davies por Chaitim, Gregory J [autor] \| Davies, P. C. W [prologuista]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Hackensack, New Jersey : World Scientific, c2007Otro título: Godel and Turing.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.65 C43. Hacer reserva Agregar al carrito (remover)
		Temporal logic [recurso electrónico] : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F. V. Hasle. por Øhrstrøm, Peter \| Hasle, Per F. V [coautor] \| Springer-Verlag. Series Studies in linguistics and philosophy ; v. 57Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Detalles de publicación: Dordrecht : Kluwer Academic, c1995Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Techniques of Constructive Analysis [recurso electrónico] / by Douglas S. Bridges, Luminia Simona V. por Bridges, D. S. (Douglas S.), 1945- \| V., Luminia Simona \| SpringerLink (Servicio en linea). Series UniversitextTipo 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)
		Studies in logic and probability / George Boole por Boole, George, 1815-1864 [autor]. Series Dover phoenix editionsTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Mineola, New York : Dover publications, 2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 B73 2004. Hacer reserva Agregar al carrito (remover)
		Studies in combinatories / Gian-carlo rota ed. por Rota, Gian-Carlo, 1932-1999 [editor]. Series Studies in mathematics ; v. 17Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: United states of america : Mathematical association of america, c1978Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA164 R67 1978, ... Hacer reserva Agregar al carrito (remover)
		The Strength of Nonstandard Analysis [recurso electrónico] / edited by Imme Berg, VÃƒÆ’Ã‚Âtor Neves. por Berg, Imme \| Neves, VÃƒÆ’Ã‚Âtor \| SpringerLink (Servicio en linea). Tipo de material: Archivo de ordenador; Formato: electrónico disponible en línea Detalles de publicación: Vienna : Springer, 2007Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Set theory, arithmetic, and foundations of mathematics : theorems, philosophies / edited by Juliette Kennedy, Roman Kossak por Kennedy, Juliette, 1955- [editor] \| Kossak, Roman, 1953- [editor]. Series Lecture notes in logic ; 36Tipo 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: QA248 S455. Hacer reserva Agregar al carrito (remover)
		Set theory and the continuum hypothesis / Paul J. Cohen ; with a new introduction by Martin Davis por Cohen, Paul J, 1934- [autor] \| Davis, Martin [prologuista]. Series Dover books on mathematicsTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Mineola, New York : Dover, 1994Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 C63 1994. Hacer reserva Agregar al carrito (remover)
		Set theory and logic / By Robert r. stoll por Stoll, Robert Roth [autor]. Tipo de material: Texto; Formato: impreso Editor: New York : Dover, 1979Editor: New York : Dover, 1979Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 S8 1979. 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