Your search returned 22 results.

Sort
Results
De los números by
Edition: 1° ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Barcelona : La Gaya Cienci, 1976
Availability: Items available for loan: Biblioteca de la Facultad de Artes (1)Call number: 517.1 GAR.

Fundamentos de informática : lógica, resolución de problemas, programas y computadoras by
Edition: 1a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Madrid : McGraw-Hill, c1994
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.1 FUN.

Logic for computer science : foundations of automatic theorem proving by
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Nueva York : John Wiley and Sons, c1987
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: F.4.1 GAL .

Programming languages theory and its implementation : applicative and imperative paradigms by Series: Prentice Hall International series in computer science
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Nueva York : [S.n.], 1988
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.3.1 GOR .

Lógica, programación e inteligencia artificial by
Edition: 1a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Madrid : Díaz de Santos, 1986
Availability: Items available for loan: Biblioteca de la Facultad de Informática (2)Call number: F.4.1 KOW , ...

Sobre la representación de S4.3. by
Material type: Text Text; Literary form: Not fiction
Publication details: 1996
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1996.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 96/01 .

Introduçao à lógica by
Edition: 6a. ed.
Material type: Text Text; Literary form: Not fiction
Publication details: São Paulo : [S.n.], 1981
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: F.4.1 NER .

Logic for mathematicians by
Edition: Rev. ed., repr.
Material type: Text Text; Literary form: Not fiction
Publication details: Cambridge : Cambridge University Press, 2000
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: F.4.1 HAM .

Lógica. Cursos 2002-2004 by
Material type: Text Text; Literary form: Not fiction
Publication details: 2002-2004
Availability: Items available for loan: Biblioteca de la Facultad de Informática (3)Call number: P90243_02E, ... Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Lógica. Curso 2005 by
Material type: Text Text; Literary form: Not fiction
Publication details: [S.n.], 2005
Availability: Items available for loan: Biblioteca de la Facultad de Informática (2)Call number: P90243_05E, ... Not available: Biblioteca de la Facultad de Informática: No corresponde (2).

Models and ultraproducts : an introduction by
Edition: 3rd rev. print. ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Amsterdam : [S.n.], 1974
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: F.4.1 BEL depo.

Lógica para matemáticos by Series: Lógica y teoría de la ciencia
Material type: Text Text; Literary form: Not fiction
Publication details: Madrid : Paraninfo, 1981
Availability: Items available for loan: Biblioteca de la Facultad de Informática (4)Call number: F.4.1 HAM, ... Not available: Biblioteca de la Facultad de Informática: Checked out (1).

Truth, deduction, and computation : logic and semantics for computer science by
Material type: Text Text; Literary form: Not fiction
Publication details: Nueva York : Computer Scienc
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: F.4.1 DAV depo.

Introducción a la teoría de conjuntos by Series: Manuales
Edition: 8a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Buenos Aires : EUDEBA, 1976
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: F.4.1 OUB.

Relations and graphs : discrete mathematics for computer scientists by Series: EATCS Monographs on Theoretical Computer Scienc
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer-Verlag, c1993
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: G.2.2 SCH .

Introduction to mathematical logic by Series: Discrete mathematics and its applications
Edition: 5th ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Boca Raton : CRC, c2010
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: F.4.1 MEN .

Primer curso de lógica matemática by
Edition: 1a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Barcelona : Reverté, 2010
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: F.4.1 SUP .

Quantum computing since Democritus by
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Cambridge : Cambridge University Press, 2013
Availability: Not available: Biblioteca de la Facultad de Informática: Checked out (1).

Pages