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ó 9 resultados.

Ordenar
Resultados
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 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.

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 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.

Kurt Gödel : essays for his centennial / edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson

por Gödel, Kurt | Feferman, Solomon [editor] | Parsons, Charles, 1933- [editor] | Simpson, Stephen George, 1945- [editor].

Series Lecture notes in logic ; 33Tipo de material: Texto Texto; Formato: impreso festschrift ; Forma literaria: No es ficción Editor: New York : Ithaca, New York : Cambridge University Press ; Association for Symbolic Logic, 2010Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.2 K87.

A general algebraic semantics for sentenial logics / Josep Maria Font, Ramon Jansana

por Font Rius, José María [autor] | Jansana, Ramón [autor].

Series Lecture notes in logic ; 7Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1996Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA267.3 F65.

Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way / Arnold W. Miller

por Miller, Arnold W, 1950- [autor].

Series Lecture notes in logic ; 4Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, 1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 M5513 1995.

Descriptive set theory and forcing : how to prove theorems about borel sets the hard way / Arnold W. Miller

por Miller, Arnold W, 1950- [autor].

Series Lecture notes in logic ; 4Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Ithaca, NY : Cambridge, United Kingdom : Association for Symbolic Logic ; Cambridge University Press, [2016]Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1).

Descriptive complexity, canonisation, and definable graph structure theory / Martin Grohe

por Grohe, M. (Martin) [autor].

Series Lecture notes in logic ; 47Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge, United Kingdom : Ithaca, NY : Cambridge University Press ; Association for Symbolic Logic, 2017Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA166 G7576.

The Cabal seminar / edited by Alexander S. Kechris, Benedikt Löwe, John Robert Steel

por Kechris, A. S, 1946- [editor] | Löwe, Benedikt [editor] | Steel, John R, 1948- [editor].

Series Lecture notes in logic ; 31, 37, 43, 49Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Cambridge : Cambridge University Press, 2008-Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA269 C33.

Abstract recursion and intrinsic complexity / Yiannis N. Moschovakis

por Moschovakis, Yiannis N [autor] | Association for Symbolic Logic.

Series Lecture notes in logic ; 48Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge, United Kingdom : Cambridge University Press, 2019Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.58 M67.

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