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)