home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2156 < prev    next >
Encoding:
Internet Message Format  |  1992-11-23  |  1.2 KB
  1. Path: sparky!uunet!usc!elroy.jpl.nasa.gov!swrinde!zaphod.mps.ohio-state.edu!uwm.edu!rutgers!concert!sas!mozart.unx.sas.com!sasghm
  2. From: sasghm@theseus.unx.sas.com (Gary Merrill)
  3. Newsgroups: sci.logic
  4. Subject: Re: Recursive Functions
  5. Message-ID: <By6EnG.EA8@unx.sas.com>
  6. Date: 23 Nov 92 15:50:04 GMT
  7. References: <gf3ck=e00WB5IVcUsC@andrew.cmu.edu>
  8. Sender: news@unx.sas.com (Noter of Newsworthy Events)
  9. Organization: SAS Institute Inc.
  10. Lines: 15
  11. Originator: sasghm@theseus.unx.sas.com
  12. Nntp-Posting-Host: theseus.unx.sas.com
  13.  
  14.  
  15. In article <gf3ck=e00WB5IVcUsC@andrew.cmu.edu>, am5j+@andrew.cmu.edu (Asmawi Mohamad) writes:
  16. |> I am taking a course in logic this semester, and currently looking for
  17. |> a good introductory text in recursive function that include some discussion
  18. |> about the application of RF in computability.  Does anyone out here knows
  19. |> about the availability of books about this?
  20. |> 
  21. |> Thanks a lot
  22.  
  23. I like (and have taught from) _Computability and Logic_ by Boolos
  24. and Jeffrey.
  25. -- 
  26. Gary H. Merrill  [Principal Systems Developer, C Compiler Development]
  27. SAS Institute Inc. / SAS Campus Dr. / Cary, NC  27513 / (919) 677-8000
  28. sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
  29.