Resultados
|
|
|
|
|
|
|
|
|
|
|
Computability and unsolvability / Martin Davis. por Davis, Martin, 1928-. Tipo de material: Texto Idioma: Inglés Detalles de publicación: New York : Dover, 1982Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA9.615 D58.
|
|
|
La demostracion en geometria / A. I. Fetisov. por Fetisov, A. I. Tipo de material: Texto Idioma: Español Detalles de publicación: 1973Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali (2) Signatura topográfica: QA481 F48, ...
|
|
|
|
|
|
|
|
|
Elementos de lógica formal / Calixto Badesa, Ignasi Jané y Ramón Jansana por Badesa, Calixto | Jané, Ignasi [aut.] | Jansana, Ramón [aut.]. Series Ariel filosofíaEdición: 2a ed.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción ; Audiencia:
Especializado; Idioma: Español Detalles de publicación: Barcelona : Ariel, 2007Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (3) Signatura topográfica: QA248 B33 2007, ...
|
|
|
|
|
|
|
|
|
George Boole : precursor de la logica simbolica / Armando As. por Asti Vera, Armando. Tipo de material: Texto Idioma: Español Detalles de publicación: Buenos Aires, Argentina : EUDEBA, 1968Disponibilidad: Ítems disponibles para préstamo: Instituto de Investigaciones Históricas (1) Signatura topográfica: BC135 A888.
|
|
|
|
|
|
How to prove it : a structured approach / Daniel J. Velleman por Velleman, Daniel J. Edición: 3rd ed.Tipo de material: Texto; Forma literaria:
No es ficción ; Audiencia:
Especializado; Detalles de publicación: Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2019Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: QA9 V452 2022.
|
|
|
|
|
|
|