Introducción al simbolismo lógico

समान संसाधन

• Introducción al simbolismo lógico
  द्वारा: Bosch, Jorge E
  प्रकाशित: (1981)
• Lógica simbólica para informáticos
  द्वारा: Iranzo, Pascual Julián
  प्रकाशित: (2005)
• 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)
• Lógica para informáticos
  द्वारा: Farré Cirera, Rafel, और अन्य
  प्रकाशित: (2012)
• Popular lectures on mathematical logic
  द्वारा: Wang, Hao
  प्रकाशित: (1993)