Theory of recursive functions and effective computability

Podobne zapisy

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