Su búsqueda retornó 66 resultados. Suscribirse a esta búsqueda

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

Tipo de material: libro Libro; Forma literaria: No es ficción ; Audiencia: Especializado; Editor: Sevilla, España : Editorial Universidad de Sevilla, 2016Disponibilidad: Ítems disponibles para préstamo: Facultad de Ciencias Humanas [Signatura topográfica: QA141.15 A72 2016] (1).

Computability and unsolvability / Martin Davis.

por Davis, Martin, 1928-.

Tipo de material: libro Libro Editor: New York : Dover, 1982Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada [Signatura topográfica: QA9.615 D58] (2).

La demostracion en geometria / A. I. Fetisov.

por Fetisov, A. I.

Tipo de material: libro Libro Editor: 1973Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali [Signatura topográfica: QA481 F48] (2).

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

por Descartes, Rene, 1556-1650.

Tipo de material: libro Libro Editor: 1959Disponibilidad: Ítems disponibles para préstamo: Facultad de Ciencias Humanas [Signatura topográfica: B1868 .R42 D48] (1).

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 computadora Archivo de ordenador; Formato: electrónico Editor: 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 [Signatura topográfica: QA9.64 K6818 2010] (1).

Elementos de lógica formal / Calixto Badesa, Ignasi Jané y Ramón Jansana

por Badesa, Calixto | Jané, Ignasi [aut.] | Jansana, Ramón [aut.].

Edición: 2a ed.Tipo de material: libro Libro; Formato: impreso ; Forma literaria: No es ficción ; Audiencia: Especializado; Editor: Barcelona : Ariel, 2007Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana [Signatura topográfica: QA248 B33 2007] (2). Prestado (1).

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

por Barreiro de Nudler, Telma | Nudler, Oscar.

Tipo de material: libro Libro Editor: 1973Disponibilidad: Ítems disponibles para préstamo: Facultad de Enfermería [Signatura topográfica: BC135 B37] (1).

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

por Asti Vera, Armando.

Tipo de material: libro Libro Editor: Buenos Aires, Argentina : EUDEBA, 1968Disponibilidad: Ítems disponibles para préstamo: Instituto de Investigaciones Históricas [Signatura topográfica: BC135 A888] (1).

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.

Tipo de material: libro Libro Editor: Mexico : Gedisa, 1989Disponibilidad: Ítems disponibles para préstamo: Facultad de Ciencias Humanas [Signatura topográfica: BC135 P53] (2).

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: libro Libro Editor: 1977Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana [Signatura topográfica: BC135 L35 1977] (1).

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

por Salazar Resines, Javier.

Tipo de material: libro Libro Editor: Mexico : UNAM, 1971Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali [Signatura topográfica: QA248 S35 V.1] (5).

Introduccion a la logica matematica / Eramis Bueno, LucianoGarcia.

por Bueno, Eramis | Garcia, Luciano.

Tipo de material: libro Libro Editor: Mexico : IPN, 1997Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada [Signatura topográfica: QA9 B84] (1).

Introduccion a la logica simbolica / Patrick Suppes.

por Suppes, Patrick, 1922-.

Tipo de material: libro Libro Editor: Mexico : CECSA, 1966Disponibilidad: Ítems disponibles para préstamo: Valle Dorado [Signatura topográfica: BC135 S86] (1).

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

por Smith, Karl J.

Tipo de material: libro Libro Editor: Mexico : Grupo Editorial Iberoamerica, 1991Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana [Signatura topográfica: BC135 S5518] (1).

Introduccion a la logica simbolica / Patrick Suppes.

por Suppes, Patrick, 1922-.

Tipo de material: libro Libro Editor: 1975Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali [Signatura topográfica: BC135 S86] (3).

Con tecnología Koha