Lógica simbólica para informáticos

समान संसाधन

• Lógica para informáticos
  द्वारा: Farré Cirera, Rafel, और अन्य
  प्रकाशित: (2012)
• La lógica simbólica
  द्वारा: Agazzi, Evandro
  प्रकाशित: (1986)
• Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
  द्वारा: Ledesma, Luis de
  प्रकाशित: (2010)
• Pruebas y refutaciones: la lógica del descubrimiento matemático
  द्वारा: Lakatos, Imre
  प्रकाशित: (1982)
• Introducción al simbolismo lógico
  द्वारा: Bosch, Jorge E
  प्रकाशित: (1970)