Resultados
|
|
|
|
|
|
|
|
|
|
|
Discrete structures, logic, and computability / James L. Hein por Hein, James L [autor]. Edición: Fourth editionTipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Burlington, MA : World Headquarters/Jones & Bartlett Learning, 2016Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QA76.9M35 H444 2016, ...
|
|
|
|
|
|
|
|
Introduccion a la logica deductiva y teoria de los conjuntos por Salazar Resines, Javier [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: México : UNAM, Direccion General de Publicaciones, 1970-9999Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QA248 S34, ...
|
|
|
|
|
|
|
|
The logic of knowledge bases / Hector J. Levesque and Gerhard Lakemeyer por Levesque, Hector J, 1951- [autor] | Lakemeyer, Gerhard [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Cambridge, Massachusetts : The MIT Press, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q387 L48.
|
|
|
|
|
|
|
|
A mathematical introduction to logic / Herbert B. Enderton por Enderton, Herbert B [autor]. Edición: 2nd ed.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: San Diego, California : Harcourt/Academic, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 E52 2001.
|
|
|
|
Mathematical logic for computer science / Mordechai Ben-Ari por Ben-Ari, M, 1948- [autor]. Edición: 2nd ed.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: London : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 B37865 2001.
|
|
|
|
Primer curso de lógica matemática / Patrick Suppes, Shirley Hill ; versión española de Enrique Lines Escardo por Suppes, Patrick, 1922- [autor] | Suppes, Patrick, 1922-. First course in mathematical logic | Hill, Shirley A [autor] | Lines Escardó, Enrique [traductor]. Edición: 4a ed.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: Español Lenguaje original: Inglés Editor: Barcelona ; México : Reverté, 1997Otro título: Introducción a la lógica matemática.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 S86 1997.
|
|
|
|
|
|
|
|
|
