Logic, computers, and sets

類似資料

• A course in mathematical logic
  著者:: Manin, Yuri Ivanovich
  出版事項: (1977)
• La structure algébrique des théories mathématiques
  著者:: Henkin, Leon
  出版事項: (1956)
• Tableau systems for first order number theory and certain higher order theories
  著者:: Toledo, Sue
  出版事項: (1975)
• Lógica simbólica
  著者:: Hegenberg, Leónidas
  出版事項: (1966)
• Popular lectures on mathematical logic
  著者:: Wang, Hao
  出版事項: (1993)