Theory of recursive functions and effective computability

Gelijkaardige items

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