Your search returned 47 results.

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

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

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

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

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

Rippling: Meta-level guidance for mathematical reasoning/ Alan Bundy ... [et all.]

by Bundy, Alan Basin, David Hutter, Dieter Ireland, Andrew.

Publisher: New York: Oxford University Press 2005Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 006.3 R466 (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).

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

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

Elementos de álgebra en ciencias de la computación/ Alfonso Bustamante A.

by Bustamante A., Alfonso.

Language: Spanish Publisher: Cali: ICESI 1988Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 B982e (3). Lost (3).

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

A course in mathematical logic / John Lane Bell and Machover

by Bell, John Lane | Machoer, Moshé.

Material type: Text Text; Format: print regular print Publisher: Amsterdam: Elsevier, 1997Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 B355c (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).

Investigaciones sobre razonamiento estadístico y dificultades de aprendizaje/ Oscar Soto B.

by Soto B., Oscar | Coloquio Distrital de Matemáticas y Estadística | Pacheco, Pedro Nel.

Language: Spanish Publisher: Bogotá: Universidad Nacional de Colombia 2003Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 510 C656m16 (1).

Sets, logic and axiomatic theories/ Robert R. Stoll

by Stoll, Robert R.

Language: English Publisher: San Francisco: W.H.Freeman 1961Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 510.1 S875s (1).

El hombre que calculaba/ Malba Tahan

by Tahan, Malba | Murillo, Ana, tr.

Language: Spanish Publisher: Bogotá: Panamericana Editorial 1999Availability: Items available for loan: Biblioteca SatéliteCall number: 793.74 T141h (1).

Diagnostic des systémes linéaires / Didier Maquin et José Ragot

by Maquin, Didier | Ragot, José.

Publisher: Paris: Hermes & Science, 2000Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 M168d (1).