Sur les algèbres de Hilbert

類似資料

• An algebraic introduction to mathematical logic
  著者:: Barnes, Donald W, 等
  出版事項: (1975)
• 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)
• Introducción al simbolismo lógico
  著者:: Bosch, Jorge E
  出版事項: (1970)
• Popular lectures on mathematical logic
  著者:: Wang, Hao
  出版事項: (1993)
• Lógica simbólica para informáticos
  著者:: Iranzo, Pascual Julián
  出版事項: (2005)