Universidad Nacional Autónoma de México
Catálogo de la Unidad de Documentación  del Centro de Ciencias Matemáticas, Morelia

Su búsqueda recuperó 6 resultados.

Ordenar
Resultados
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 Archivo de ordenador; Formato: electrónico disponible en línea remoto Detalles de publicación: Dordrecht : Springer, 2005Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles.

Recursive functions and metamathematics : problems of completeness and decidability, godel's theorems / Roman Murawski

por Murawski, Roman [autor].

Series Synthese library ; v. 286Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Dordrecht : Kluwer Academic, c1999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.615 M8713.

Philosophical lectures on probability / Bruno de Finetti ; collected, edited, and annotated by Alberto Mura ; with an introductory essay by Maria Carla Galavotti ; translated by Hykel Hosni

por De Finetti, Bruno [autor] | Mura, Alberto [editor] | Galavotti, Maria Carla [prologuista] | Hosni, Hykel [traductor].

Series Synthese library: studies in epistemology, logic, methodology, and philosophy of science ; v. 340Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico disponible en línea remoto Idioma: Inglés Lenguaje original: Italiano Detalles de publicación: Dordrecht : Springer Verlag, 2008Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles.

Logicism, Intuitionism, and Formalism [recurso electrónico] : What has Become of Them? / edited by Vincent F. Hendricks, John Symons, Dirk Dalen, Theo A.F. Kuipers, Teddy Seidenfeld, Patrick Suppes, Jan WoleÅ„Ski, Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen.

por Hendricks, Vincent F | Dalen, Dirk | Kuipers, Theo A.F | Lindström, Sten | Palmgren, Erik | Segerberg, Krister | Seidenfeld, Teddy | Stoltenberg-Hansen, Viggo | Suppes, Patrick | Symons, John | WoleńSki, Jan | SpringerLink (Servicio en linea).

Series Synthese Library, Studies In Epistemology. Logic, Methodology, and Philosophy of Science ; 341Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico disponible en línea remoto Detalles de publicación: Dordrecht : Springer Netherlands, 2009Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles.

Introduction to axiomatic set theory / Jean-Louis krivine ; translated from the french by David Miller

por Krivine, Jean-louis [autor] | Miller, David [traductor] | Krivine, Jean-louis. Theorie axiomatique des esembles.

Series Synthese libraryTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Dordrecht : D. Reidel, c1971Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 K7418.

Axiomatic method and category theory / Andrei Rodin

por Rodin, Andrei [autor].

Series Synthese Library ; volume 364Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cham : Springer, [2014]Fecha de copyright: ©2014Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA481 R63.

Páginas
¿No encuentras lo que estás buscando?

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