Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG

অনুরূপ উপাদানগুলি

• Lógica para informáticos
  অনুযায়ী: Farré Cirera, Rafel, অন্যান্য
  প্রকাশিত: (2012)
• Lógica simbólica para informáticos
  অনুযায়ী: Iranzo, Pascual Julián
  প্রকাশিত: (2005)
• Pruebas y refutaciones: la lógica del descubrimiento matemático
  অনুযায়ী: Lakatos, Imre
  প্রকাশিত: (1982)
• Lógica matemática.
  অনুযায়ী: Ferrater Mora, José
  প্রকাশিত: (1962)
• La lógica simbólica
  অনুযায়ী: Agazzi, Evandro
  প্রকাশিত: (1986)