Theory of recursive functions and effective computability

類似資料

• Recursiveness
  著者:: Eilenberg, Samuel
  出版事項: (1970)
• Computer science and multiple- valued logic theory and applications
  著者:: Rine, David C
  出版事項: (1984)
• Computations in higher types
  著者:: Moldestad, Johan
  出版事項: (1976)
• Proof theory
  著者:: Schutte, Kurt
  出版事項: (1977)
• Exercises in set theory
  著者:: Sigler, L E
  出版事項: (1979)