Enumerability, decidability, computability: an introduction to the theory of recursive functions

समान संसाधन

• Computability and unsolvability
  द्वारा: Davis, Martin
  प्रकाशित: (1982)
• Computations in higher types
  द्वारा: Moldestad, Johan
  प्रकाशित: (1977)
• Recursive analysis
  द्वारा: Goodstein, Reuben Louis
  प्रकाशित: (1961)
• Degrees of unsolvability: structure and theory
  द्वारा: Epstein, Richard L
  प्रकाशित: (1979)
• A course in mathematical logic
  द्वारा: Manin, Yuri Ivanovich
  प्रकाशित: (1977)