Re: Recursive Functions

Article View: sci.logic

Article #589

#589

From: Gary Merrill
Date: Mon, 23 Nov 1992 15:50

15 lines
1217 bytes

In article <gf3ck=e00WB5IVcUsC@andrew.cmu.edu>, am5j+@andrew.cmu.edu (Asmawi Mohamad) writes:
|> I am taking a course in logic this semester, and currently looking for
|> a good introductory text in recursive function that include some discussion
|> about the application of RF in computability.  Does anyone out here knows
|> about the availability of books about this?
|> 
|> Thanks a lot

I like (and have taught from) _Computability and Logic_ by Boolos
and Jeffrey.
-- 
Gary H. Merrill  [Principal Systems Developer, C Compiler Development]
SAS Institute Inc. / SAS Campus Dr. / Cary, NC  27513 / (919) 677-8000
sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm

Technical Details

Message-ID: <By6EnG.EA8@unx.sas.com>

Path:

arc1-ca.pugleaf.net!sparky!uunet!usc!elroy.jpl.nasa.gov!swrinde!zaphod.mps.ohio-state.edu!uwm.edu!rutgers!concert!sas!mozart.unx.sas.com!sasghm

References: <gf3ck=e00WB5IVcUsC@andrew.cmu.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!usc!elroy.jpl.nasa.gov!swrinde!zaphod.mps.ohio-state.edu!uwm.edu!rutgers!concert!sas!mozart.unx.sas.com!sasghm
From: sasghm@theseus.unx.sas.com (Gary Merrill)
Newsgroups: sci.logic
Subject: Re: Recursive Functions
Message-ID: <By6EnG.EA8@unx.sas.com>
Date: 23 Nov 92 15:50:04 GMT
References: <gf3ck=e00WB5IVcUsC@andrew.cmu.edu>
Sender: news@unx.sas.com (Noter of Newsworthy Events)
Organization: SAS Institute Inc.
Lines: 15
Originator: sasghm@theseus.unx.sas.com
Nntp-Posting-Host: theseus.unx.sas.com

Reply to Parent Message