Your search returned 13 results.

Not what you expected? Check for suggestions
Fundamentos de lógica simbólica / Alice Ambrose Morris Lazerowitz

by Morris Lazerowitz, Alice Ambrose | González Aramburo, Francisco [tr].

Material type: Text Text; Format: regular print ; Literary form: Not fiction ; Audience: General; Language: Spanish Publisher: Mexico D.F : Universidad Nacional Autónoma de México, 1968Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 M875f (1).

Logic for mathematics and computer science/ Stanley N. Burris

by Burris, Stanley N.

Publisher: Upper Saddle River: Prentice Hall 1998Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 B877L (1).

Introducción a la historia y a la filosofía de la matemática/ Alberto Campos Sánchez

by Campos Sánchez, Alberto.

Publisher: Bogotá: Universidad Nacional de Colombia 2006Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 501 C156i (1).

Logic for mathematicians/ J. Barkley Rosser.

by Rosser, John Barkley.

Publisher: New York: Dover Publications 2008Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 R677L (1).

Lógica y matemáticas discretas en la informática: el estilo calculatorio / Jaime Alejandro Bohórquez Villamizar

by Bohórquez Villamizar, Jaime Alejandro.

Publisher: Bogotá: Escuela Colombiana de Ingeniería 2012Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 B646L (3). Checked out (4).

Introducción a la lógica de las ciencias / R. Harré

by Harré, Rom | García Borrón, Juan Carlos [tr.].

Material type: Text Text; Format: regular print ; Literary form: Not fiction ; Audience: General; Language: Spanish Publisher: España : Labor S.A ; 1967Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 501.012833 H296i (1).

Los métodos actuales del pensamiento [Texto impreso] I.M. Bochenski ; [traducción del alemán, de Raimundo Drudis Baldrich].

by Bochenski, Joseph M | Drudis Baldrich, Raimundo [Tr.].

Edition: 14a. ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Spanish Original language: German Publisher: Madrid: Rialp; 1981Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 112 B664m (1).

Razonamiento matemático: fundamentos y aplicaciones/ José Guillermo Rodríguez Ahumada; Angel Luis Caraballo Ríos; Teresa Cruz Malavé; Omar Hernández Rodríguez

by Rodríguez Ahumada, José Guillermo | Caraballo Ríos, Angel Luis Cruz Malavé, Teresa Hernández Rodríguez, Omar.

Edition: 2 ed. Language: Spanish Publisher: México, D.F.: International Thomson Editores 2000Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 R196 (1).

Simulog: simulador de lógica: manual de referencia/ Camilo Andrés Lautero Bernal

by Lautero Bernal, Camilo Andrés | Mancera Rodríguez, Mónica Andrea, Ramos Sánchez, Libia Andrea, Silva Reyes, José Alexander.

Language: Spanish Publisher: Bogotá: ECI. Facultad de Ingeniería de Sistemas 2003Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 003 L187s Ts (2).

La filosofía en el siglo XX.

by Belaval, Yvon | [Dir].

Edition: 10 ed. Language: Spanish Publisher: México D. F.: Siglo Veintiuno Editores, 1999Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 101 H477 Vol. 10 (1).

All about Maude: a high-performance logical framework: how to specify, program, and verify systems in rewriting logic / Manuel Clavel ... [et al.].

by Clavel, Manuel.

Publisher: Berlin: Springer, 2007Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 005.133 A551 (2).

Mathematical Logic/ James Donald Monk

by Monk, James Donald.

Publisher: New York: Springer 1976Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 M654m (1).

Understanding formal methods/ Jean-François Monin

by Monin, Jean, François.

Publisher: London: Springer 2003Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 005.131 M654u (1).