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)