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)