Results of search for 'su:"Lógica Simbólica"'

Results
	1.	Lógica simbólica / Irving M. Copi ; traducido por Andrés Sestier Bouclier. by Copi, Irving M Sestier Bouclier, Andres [traductor] Edition: 2a ed. Material type: 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 (remove)
	2.	Iniciación a la lógica simbólica / José Antonio Arnaz by Arnaz, José Antonio Series: Seríe temas básicos ; Área de metodología de la ciencia Edition: 1a ed. Material type: Text Publication details: México : Editorial Trillas, r1980 Availability: Items available for loan: Biblioteca de la Preparatoria Ing. Pascual Ortiz Rubio (2)Call number: QA9.A5 A7 1978, ... Biblioteca del Colegio de San Nicolás (1)Call number: BC135 A76 r1980. Place hold Add to cart (remove)
	3.	Introducción a la logica simbolica / por Patrick Suppes. by Suppes, Patrick Edition: 10a ed. Material type: Text Publication details: Mèxico: Continental, 1981 Availability: Items available for loan: Biblioteca de la Preparatoria José Ma. Morelos (1)Call number: BC135 S87 1981. Place hold Add to cart (remove)
	4.	Lógica y algoritmos : con aplicaciones a las ciencias de la computación e informática / Robert R. Korfhage; versión española Federico Velasco C. by Korfhage, Robert R Velasco C. Federico [tr.] Edition: 1a ed. Material type: Text Publication details: México : Limusa, 1990 Availability: Items available for loan: Biblioteca de la Facultad de Ingeniería Civil (1)Call number: QA9 K67 1990. Place hold Add to cart (remove)
	5.	Principia mathematica : to 56 / Alfred North Whitehrad and Bertrand Russell by Whitehead, Alfred North Russell, Bertrand [coaut.] Edition: 2a ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York: Cambridge University Press, 1990 Availability: Items available for loan:* Biblioteca de la Facultad de Ingeniería Civil (1)Call number: QA9 W55 1990. Place hold Add to cart (remove)
	6.	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 Ong, Luke SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3634 Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 O64 2005. Place hold Add to cart (remove)
	7.	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 Duparc, Jacques Henzinger, Thomas A SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4646 \| Lecture Notes in Computer Science ; 4646 Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 E85 2007. Place hold Add to cart (remove)
	8.	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 Ésik, Zoltán SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4207 Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 E85 2006. Place hold Add to cart (remove)
	9.	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 Kaminski, Michael Martini, Simone SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5213 Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 K36 2008. Place hold Add to cart (remove)
	10.	Symbolism and truth : An introduction to the theory of knowledge / Ralph Monroe Eaton by Eaton, Monroe Ralph Edition: 1a ed. Material type: 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 (remove)
	11.	Hacia una lógica de significaciones / Jean Piaget, Rolando García ; colab. L. Banks... [et. al..] ; pref. Bärbel Inhelder ; tr., Emilia Ferreiro by Piaget, Jean, 1896-1980 [autor] Ferreiro, Emilia [tr.] Inhelder, Bärbel [prol.] Banks, L [colab.] García, Rolando Victor, 1919- [au.] Series: (Filosofía de la ciencia) Edition: 2a ed. Material type: 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 (remove)
	12.	Introduction to mathematical logic / Elliott Mendelson. by Mendelson, Elliott [autor] Series: International student edition Edition: 4a ed. Material type: 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 (remove)
	13.	Principia mathematica to 56 / by Alfred North Whitehead, Bertrand Russell. by Whitehead, Alfred North [autor] Russell, Bertrand [autor.] Series: the syndics of the Cambridge university press Edition: 2a ed. Material type: 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 (remove)
	14.	Set theory and logic / by Robert R. Stoll, by Stoll, Robert R [autor] Series: Dover books on mathematics Edition: 1a ed. Material type: 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 (remove)
	15.	Mathematical logic /Joseph R. Shoenfield, ed. Rogers, Hartley by Shoenfield, Joseph R [autor] Hartley Rogers [ed.] Series: This book is in the addison-wesley series in logic Edition: 1a ed. Material type: 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 (remove)
	16.	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 Lakatos, Imre [autor] Worrall, John [introd.] Solís, Carlos [tr.] Series: Alianza universidad Edition: 2a ed. Material type: 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 (remove)
	17.	Proofs and refutations : T The logic of mathematical discovery / Imre Lakatos ; edited by John Worral and Elie Zahar. by Lakatos, Imre [autor.] Worral, John [ed.] Zahar, Elie [ed.] Edition: 1a ed. Material type: 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 (remove)
	18.	Elementary applied symbolic logic / Bangs L. Tapscott. by Tapscott, Bangs L [autor] Edition: 1a ed. Material type: 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 (remove)
	19.	Lógica matemática elemental / Benson Mates, tr. Carmen Garcìa Trevijano by Mates, Benson [autor] Trevijano, Garcìa Carmen [tr.] Series: Serie de filosofia y ensayo Edition: 2a reimp. Material type: 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 (remove)
	20.	Primer curso de lógica matemática / Patrick Suppes, Shirley Hill, versión española de Enrique Lines Escardo. by Suppes, Patrick [autor] Hill, Shirley [autor] Lines, Escardo Enrique [tr.] Edition: 1a ed.. Material type: 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 (remove)

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Places

Topics

Your search returned 131 results.