Your search returned 15 results.

Not what you expected? Check for suggestions
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).

Computability and logic/ George Boolos

by Boolos, George.

Language: English Publisher: London: Cambridge University Press 1980Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 B724c (1).

Fundamentos del sistema lógico F (del Profesor Frederic Fitch)/ Gerardo Prado Bravo

by Prado Bravo, Gerardo | ECICIENCIA - 1999.

Language: Spanish Publisher: Bogotá: ECI 1999Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 P896f (2). Lost (2).

Iniciación a la lógica simbológica/ José Antonio Arnaz

by Arnaz, José Antonio.

Publisher: México: Trillas 1978Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 A742i (1).

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

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

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

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

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

Matemáticas discretas/ Richard Johnsonbaugh

by Johnsonbaugh, Richard.

Edition: 4 ed. Language: Spanish Publisher: México, D.F.: Prentice Hall 1999Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 510 J71m (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).

Elements of the theory of computation/ Harry L. Lewis; Christos H. Papadimitriou

by Lewis, Harry L | Papadimitriou, Christos H.

Publisher: Englewood Cliffs: Prentice Hall 1981Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 L394e (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).

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 (5). Checked out (2).

Lógica y matemáticas discretas en la informática: el estilo calculatorio. Notas de clase

by Bohórquez Villamizar, Jaime Alejandro.

Language: Spanish Publisher: Bogotá: Escuela Colombiana de Ingeniería 2003Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 B646L (3).