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)