Recursive Functions

Thread View: sci.logic

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by Asmawi Mohamad Sat, 21 Nov 1992 19:20

#570

Author: Asmawi Mohamad
Date: Sat, 21 Nov 1992 19:20

6 lines
704 bytes

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

Re: Recursive Functions

#589

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads