Pruebas y refutaciones: la lógica del descubrimiento matemático

類似資料

• Lógica para informáticos
  著者:: Farré Cirera, Rafel, 等
  出版事項: (2012)
• Lógica matemática.
  著者:: Ferrater Mora, José
  出版事項: (1962)
• 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)
• La lógica simbólica
  著者:: Agazzi, Evandro
  出版事項: (1986)