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