Refine your search

Your search returned 55 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).

Nuevos pasatiempos matemáticos / Martin Gardner

by Gardner, Martin | Bou Garcia, Luis [tr].

Edition: 3a. ed.Material type: Text Text; Format: regular print ; Literary form: Not fiction ; Audience: General; Publisher: Madrid (España) : Aliaza, 1981Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 793.74 G226p (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).

Mathematical logic / H D. Ebbinghaus, J. Flum, W. Thomas

by Ebbinghaus, Heinz Dieter | Flum, Jörg | Thomas, Wolfgang.

Edition: 2a.ed.Material type: Text Text; Format: regular print ; Literary form: Not fiction ; Audience: Specialized; Language: English Original language: German Publisher: New York : Springer Verlag; 1994Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 E154 (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).

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

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

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

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

El juego de la lógica y otros escritos / Lewis Carroll; selección y prólogo de Alfredo Deaño; [traductor: Alfredo Deaño].

by Carroll, Lewis, 1832-1898 | Deaño, Alfredo [prologo].

Material type: Text Text; Format: print regular print ; Literary form: Not fiction Language: Spanish Original language: English Publisher: Madrid (España): Alianza, 1972Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 C319j (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).

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