Theory of recursive functions and effective computability

פריטים דומים

• Recursiveness
  מאת: Eilenberg, Samuel
  יצא לאור: (1970)
• Computer science and multiple- valued logic theory and applications
  מאת: Rine, David C
  יצא לאור: (1984)
• Computations in higher types
  מאת: Moldestad, Johan
  יצא לאור: (1976)
• Proof theory
  מאת: Schutte, Kurt
  יצא לאור: (1977)
• Exercises in set theory
  מאת: Sigler, L E
  יצא לאור: (1979)