Undecidable theories /

類似資料

• Mathematical statistics and limit theorems:
  出版事項: (2015)
• Computability and logic /
  著者:: Boolos, George S.
  出版事項: (1989)
• Principia mathematica to *56 /
  著者:: Whitehead, Alfred North
  出版事項: (1997)
• Introduction to mathematical logic; set theory / computable functions, model theory.
  著者:: MALITZ, Jerome
  出版事項: (1979)
• Introduction to Mathematical Logic / Introduction to Mathematical Logic
  著者:: Church, Alonzo
  出版事項: (1996)