Refine your search

Your search returned 101 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Lógica simbólica / Irving M. Copi ; traducido por Andrés Sestier Bouclier. by
Edition: 2a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: México : Compañia Editorial Continental, 1979
Availability: Items available for loan: Biblioteca de la Preparatoria Ing. Pascual Ortiz Rubio (3)Call number: BC135 C67 r2002, ... Biblioteca de la Preparatoria Isaac Arriaga (2)Call number: BC108 C67 r2002, ... Biblioteca de la Preparatoria José Ma. Morelos (7)Call number: BC135 C67 r2000, ... Biblioteca de la Preparatoria Melchor Ocampo (6)Call number: BC108 C67 r2000, ... Biblioteca del Colegio de San Nicolás (5)Call number: BC135 C67 2001 , ...

Place hold Add to cart
2.
Computer Science Logic [electronic resource] : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings / edited by Luke Ong. by Series: Lecture Notes in Computer Science ; 3634
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 O64 2005.

Place hold Add to cart
3.
Computer Science Logic [electronic resource] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings / edited by Jacques Duparc, Thomas A. Henzinger. by Series: Lecture Notes in Computer Science ; 4646 | Lecture Notes in Computer Science ; 4646
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 E85 2007.

Place hold Add to cart
4.
Computer Science Logic [electronic resource] : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings / edited by Zoltán Ésik. by Series: Lecture Notes in Computer Science ; 4207
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 E85 2006.

Place hold Add to cart
5.
Computer Science Logic [electronic resource] : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings / edited by Michael Kaminski, Simone Martini. by Series: Lecture Notes in Computer Science ; 5213
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 K36 2008.

Place hold Add to cart
6.
Symbolism and truth : An introduction to the theory of knowledge / Ralph Monroe Eaton by
Edition: 1a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: United States of America: DOVER, 1964
Availability: Items available for reference: Biblioteca de la Facultad de Filosofía: Consulta (1)Call number: BD161 E38 1964.

Add to cart
7.
Hacia una lógica de significaciones / Jean Piaget, Rolando García ; colab. L. Banks... [et. al..] ; pref. Bärbel Inhelder ; tr., Emilia Ferreiro by Series: (Filosofía de la ciencia)
Edition: 2a ed.
Material type: Text Text
Publication details: Barcelona, España : Gedisa, 1997
Availability: Items available for loan: Biblioteca de la Facultad de Psicología (5)Call number: BC135 P53 1997 , ...

Place hold Add to cart
8.
Introduction to mathematical logic / Elliott Mendelson. by Series: International student edition
Edition: 4a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boca Raton Flor.: Chapman & Hall, 1997
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (5)Call number: QA9 M46 1964 , ...

Place hold Add to cart
9.
Principia mathematica to *56 / by Alfred North Whitehead, Bertrand Russell. by Series: the syndics of the Cambridge university press
Edition: 2a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge : Cambridge at the University Press, 1967
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (1)Call number: QA9 W45 r1967 .

Place hold Add to cart
10.
Set theory and logic / by Robert R. Stoll, by Series: Dover books on mathematics
Edition: 1a ed.
Material type: Text Text; Literary form: Essays
Publication details: New York : Dover, 1979
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (3)Call number: QA248 S76 1963 , ...

Place hold Add to cart
11.
Mathematical logic /Joseph R. Shoenfield, ed. Rogers, Hartley by Series: This book is in the addison-wesley series in logic
Edition: 1a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Reading, massachusetts : Addison-Wesley, 1967
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (1)Call number: QA9 S56 1967 .

Place hold Add to cart
12.
Pruebas y refutaciones : La lógica del descubrimiento matemático / Imre Lakatos ; introd. y seleccioó de John Worral y Elie Zahor ; versión española de Carlos Solís. by Series: Alianza universidad
Edition: 2a ed.
Material type: Text Text
Publication details: Madrid : Alianza, 1982
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (3)Call number: QA8.4 L35 1982 , ... Biblioteca de la Unidad de Ciencias Ingeniería y Humanidades (2)Call number: QA8.4 L35 1982, ...

Place hold Add to cart
13.
Proofs and refutations : T The logic of mathematical discovery / Imre Lakatos ; edited by John Worral and Elie Zahar. by
Edition: 1a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge : Cambridge University Press, r1999
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (4)Call number: QA8.4 L35 1999 , ...

Place hold Add to cart
14.
Elementary applied symbolic logic / Bangs L. Tapscott. by
Edition: 1a ed.
Material type: Text Text
Publication details: Englewood cliffs : Prentice-Hall, 1976
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (1)Call number: BC135 T37 1976 .

Place hold Add to cart
15.
Lógica matemática elemental / Benson Mates, tr. Carmen Garcìa Trevijano by Series: Serie de filosofia y ensayo
Edition: 2a reimp.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Madrid : Editorial Tecnos, 1974
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (4)Call number: BC135 M38 1974 , ...

Place hold Add to cart
16.
Primer curso de lógica matemática / Patrick Suppes, Shirley Hill, versión española de Enrique Lines Escardo. by
Edition: 1a ed..
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: México : Reverté, 1999
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (11)Call number: BC135 S87 1980 , ... Biblioteca del Colegio de San Nicolás (1)Call number: BC135 S87 1999 . Biblioteca del Posgrado en Derecho (2)Call number: BC135 S87 1994, ...

Place hold Add to cart
17.
Matemáticas y razonamiento plausible / G. Polya, tr. Josè Luis Abellan by Series: Estructura y funcion el porvenir actual de la ciencia V. 19
Edition: 1a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Madrid : Tecnos, 1966
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (1)Call number: QA9 P65 1966 .

Place hold Add to cart
18.
Iniciación a la lógica simbólica /José Antonio Arnaz by Series: Seríe temas básicos ; Área de metodología de la ciencia ; V. 2
Edition: 3a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: México : Editorial Trillas, r1995
Availability: Items available for loan: Biblioteca de la Escuela de Enfermería y Salud Pública (1)Call number: BC135 A76 r1991. Biblioteca de la Facultad de Físico Matemáticas (1)Call number: BC135 A76 1995 . Biblioteca de la Preparatoria Isaac Arriaga (2)Call number: QA9 A76 r2001, ... Biblioteca de la Preparatoria José Ma. Morelos (9)Call number: BC135 A76 r2002, ... Biblioteca de la Preparatoria Melchor Ocampo (1)Call number: BC135 A76 r2001.

Place hold Add to cart
19.
Lógica, Lingüística y matemáticas / Sebastián Serrano. by Series: (Colección argumentos)
Edition: 1a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Barcelona : Anagrama, 1977
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (1)Call number: BC135 S47 1977 .

Place hold Add to cart
20.
Mathematical logic and theoretical computer science / Edited by David W. Kueker, Edgar Lopez-Escobar, Carl H. Smith. by Series: (Lecture notes in pure and applied mathematics ; ) ; V. 106
Edition: 1a ed.
Material type: Text Text
Publication details: New York : Marcel Dekker, inc. 1987
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (1)Call number: QA9.2 M38 1987.

Place hold Add to cart
Pages

Powered by Koha