Theory of recursive functions and effective computability

Podobné jednotky

• Recursiveness
  Autor: Eilenberg, Samuel
  Vydáno: (1970)
• Computer science and multiple- valued logic theory and applications
  Autor: Rine, David C
  Vydáno: (1984)
• Computations in higher types
  Autor: Moldestad, Johan
  Vydáno: (1976)
• Proof theory
  Autor: Schutte, Kurt
  Vydáno: (1977)
• Exercises in set theory
  Autor: Sigler, L E
  Vydáno: (1979)