Resultados de búsqueda
-
1
Introducción a la filosofía de la matemática
México, D. F. : Siglo XXI , 1967Consultar en el Cátalogo
Libro -
2
Rationality and Coordination
Cambridge, Massachusetts : Cambridge University Press , 1997Consultar en el Cátalogo
Libro -
3
-
4
Principios de las calculadoras numéricas automáticas
Barcelona : Marcombo , 1960Consultar en el Cátalogo
Libro -
5
Teoría de los conjuntos
Ciudad de México : Compania Editorial Continental , 1965Consultar en el Cátalogo
Libro -
6
-
7
College Mathematics with Business Aplications
Englewood Cliffs, New Jersey : Prentice-Hall , 1969Consultar en el Cátalogo
Libro -
8
La lógica de las ciencias : con una introducción general en la filosofía
México, D. F. : Porrua , 1956Consultar en el Cátalogo
Libro -
9
Fundamentos de informática : lógica, resolución de problemas, programas y computadoras
Madrid : McGraw-Hill, c1994Consultar en el Cátalogo
Libro -
10
Logic for computer science : foundations of automatic theorem proving
Nueva York : John Wiley and Sons, c1987Consultar en el Cátalogo
Libro -
11
Programming languages theory and its implementation : applicative and imperative paradigms
Nueva York : [S.n.], 1988Consultar en el Cátalogo
Libro -
12
Lógica, programación e inteligencia artificial
Madrid : Díaz de Santos, 1986Consultar en el Cátalogo
Libro -
13
-
14
Desenvolvimento sistemático de programas corretos : a abordagem denotacional
Campinas : UNICAMP, 1988Consultar en el Cátalogo
Libro -
15
-
16
Logic for mathematicians
Cambridge : Cambridge University Press, 2000Consultar en el Cátalogo
Libro -
17
-
18
-
19
-
20