Theory of recursive functions and effective computability

Documents similaires

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