Biblioteca

Refine your search

Your search returned 109 results.

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

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

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

Taller de lógica matemática.Análisis lógico/ Gonzálo Zubieta Russi

by Zubieta Russi, Gonzálo.

Language: Spanish Publisher: México, D.F.: McGraw Hill 1993Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 Z93t (2).

Introducción a la lógica/ Karl J Smith

by Smith, Karl J.

Language: Spanish Publisher: México, D.F.: Grupo Editorial Iberomérica 1991Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 S642i (1).

Lógica / Balmes

by Balmes (Balmes, Jaime).

Material type: Text Text; Format: regular print ; Literary form: Not fiction ; Audience: General; Language: Spanish Publisher: Buenos Aires (Argentina) : Ed. Tor ; 1946Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 160 B194l (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).

Arquitectura matemática de la lógica de las proposiciones categóricas/ Carlo Federici Casa

by Federici Casa, Carlo.

Language: Spanish Publisher: Bogotá: Instituzione Leonardo da Vinci 1998Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 F293a (1).

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

Lógica elemental/ Juan M. Negrete

by Negrete, Juan M.

Publisher: México: Limusa 1994Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 N385L (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).

Elementos de lógica y calculabilidad/ Xavier Caicedo

by Caicedo, Xavier.

Language: Spanish Publisher: Bogotá: Universidad de Los Andes 1983Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 C133e (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).

Lógica formal para informáticos/ Lourdes Arenas Alegría

by Arenas Alegría, Lourdes.

Language: Spanish Publisher: Madrid: Díaz de Santos 1996Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 160 A731L (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).

Logic in computer science: modelling and reasoning about systems/ Michael Huth and Mark Ryan

by Huth, Michael | Ryan, Mark.

Publisher: London: Cambridge University Press 2004Availability: No items available : Pending hold (1).

Elementos de lógica teórica/ D. Hilbert

by Hilbert, D.

Language: Spanish Publisher: Madrid: Estructura y Función 1962Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 H641e (1).

Alicia en le país de las adivinanzas: Un cuento al estilo de Lewis Carrol para niños menores de ochenta años / Raymond M. Smullyan

by Smullyan, Raymond M.

Edition: 3a ed. Language: Spanish Publisher: Madrid: Cátedra, 1989Availability: Items available for loan: Biblioteca SatéliteCall number: 793.73 S666a (2).

Fundamentos de matemáticas / Fernando Zalamea.

by Zalamea, Fernando, 1959.

Material type: Text Text; Format: print regular print ; Literary form: Not fiction Publisher: Botogá : Universidad Nacional de Colombia, Sede Bogotá, Departamento de Matemáticas, Facultad de Ciencias, 2007Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 510 Z22f (2).
Lists: