Su búsqueda retornó 5 resultados.

Resultados
		Algorithms for Constructing Computably Enumerable Sets [electronic resource] / by Kenneth J. Supowit. por Supowit, Kenneth J [author.] \| SpringerLink (Online service). Series Computer Science Foundations and Applied LogicEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Axiomatic set theory, by Patrick Suppes. por Suppes, Patrick, 1922-2014. Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Inglés Detalles de publicación: New York, Dover Publications [1972]Acceso en línea: Publisher description \| Table of contents only Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA248 S86 1972.
		Schaum's outline of theory and problems of set theory and related topics / Seymour Lipschutz. por Lipschutz, Seymour. Series Schaum's outline seriesEdición: 2nd ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Inglés Detalles de publicación: New York : McGraw-Hill, c1998Otro título: Theory and problems of set theory and related topics \| Set theory and related topics.Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA248 L56 1998.
		Simple Type Theory [electronic resource] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / by William M. Farmer. por Farmer, William M [author.] \| SpringerLink (Online service). Series Computer Science Foundations and Applied LogicEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Con tecnología Koha