Refinar su búsqueda

Su búsqueda retornó 66 resultados.

Ordenar
Resultados
El árbol de los números : cognición, lógica y práctica matemática / José Ferreirós Domínguez, Abel Lassalle Casnave (coordinadores).

por Ferreirós Domínguez, José [coord.] | Lassalle Casanave, Abel [coord.].

Series Serie ciencias ; 83Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Sevilla, España : Editorial Universidad de Sevilla, 2016Disponibilidad: Ítems disponibles para préstamo: Facultad de Ciencias Humanas (1) Signatura topográfica: QA141.15 A72 2016.

Computability and unsolvability / Martin Davis.

por Davis, Martin, 1928-.

Tipo de material: Texto 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 Texto Idioma: Español Detalles de publicación: 1973Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali (2) Signatura topográfica: QA481 F48, ...

Dos opusculos : reglas para la direccion del espiritu, investigacion de la verdad / Rene Descartes ; introd. de Luis Villoro.

por Descartes, Rene, 1556-1650.

Series Nuestros Clasicos ; 10.Tipo de material: Texto Texto Idioma: Español Detalles de publicación: 1959Disponibilidad: Ítems disponibles para préstamo: Facultad de Ciencias Humanas (1) Signatura topográfica: B1868 .R42 D48.

El futuro borroso o el cielo en un chip / Bart Kosko ; tr. por Mercedes García Garmilla.

por Kosko, Bart.

Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Barcelona, España : Crítica, 2000Acceso en línea: Haga clic para acceso en línea Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA9.64 K6818 2010.

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

Elementos de logica simbolica / Telma Barreiro de Nudler, Oscar Nudler.

por Barreiro de Nudler, Telma | Nudler, Oscar.

Tipo de material: Texto Texto Idioma: Español Detalles de publicación: 1973Disponibilidad: No disponible:Prestado (1).

George Boole : precursor de la logica simbolica / Armando As.

por Asti Vera, Armando.

Tipo de material: Texto 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.

Hacia una logica de significaciones / por Jean Piaget y Rolando Garcia ; con la colab. de L. Banks ... [et al.].

por Piaget, Jean, 1896- | Garcia, Rolando.

Series Colleccion Hombre y Sociedad. Serie CLA-DE-MA.Tipo de material: Texto Texto Idioma: Español Detalles de publicación: Mexico : Gedisa, 1989Disponibilidad: Ítems disponibles para préstamo: Facultad de Ciencias Humanas (2) Signatura topográfica: BC135 P53, ...

Introducción a la lógica matemática / Eramis Bueno, Luciano Garcia.

por Bueno, Eramis | Garcia, Luciano.

Tipo de material: Texto Texto Idioma: Español Detalles de publicación: México : IPN, 1997Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA9 B84.

Introducción a la lógica simbólica / Susanne K. Langer ; tr. Francisco González Aramburu.

por Langer, Susanne Katherina Knauth, 1895- | Gonzalez Aramburu, Francisco.

Edición: 5a.Tipo de material: Texto Texto Idioma: Español Detalles de publicación: 1977Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: BC135 L35 1977.

Una introducción matemática a la lógica / Herbert B. Enderton ;tr. Pablo Rosenblueth.

por Enderton, Herbert B | Rosenblueth, Pablo.

Edición: 2a ed.Tipo de material: Texto Texto; Audiencia: General; Idioma: Español Detalles de publicación: México : UNAM, 2004Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA9 E5318 2004.

Introduccion a la logica deductiva y teoria de los conjuntos / Javier Salazar Resines.

por Salazar Resines, Javier.

Series Textos programadosTipo de material: Texto Texto Idioma: Español Detalles de publicación: Mexico : UNAM, 1971Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali (5) Signatura topográfica: QA248 S35 V.1, ...

Introduccion a la logica simbolica / Karl J. Smith ; tr. Eduardo M. Ojeda Peña.

por Smith, Karl J.

Tipo de material: Texto Texto Idioma: Español Detalles de publicación: Mexico : Grupo Editorial Iberoamerica, 1991Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: BC135 S5518.

Páginas

Con tecnología Koha