Theory of recursive functions and effective computability

Benzer Materyaller

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