Computations in higher types

類似資料

• Theory of recursive functions and effective computability
  著者:: Jr, Harley Rogers
  出版事項: (1967)
• Computer science and multiple- valued logic theory and applications
  著者:: Rine, David C
  出版事項: (1984)
• Mathematicas for Higher National Certificate
  著者:: Bell, S.W
  出版事項: (1959)
• Schaum's outline of theory and problems of set theory and related topics.
  著者:: Lipschutz, Seymour
  出版事項: (1976)
• Collected works:
  著者:: Bruwer, L E J