Logic/Computability texts for CS types?

Article View: sci.logic

Article #136

#136

From: Michael P. Gerlek
Date: Mon, 06 Aug 1990 15:55

29 lines
1634 bytes

I'm looking for reccomendations for texts for an independent study I'm
doing this fall in Logic and Computability.  I'm a Computer Science
major with not-a-hack-of-a-lot-of formal mathematical training [no
flames please], so I'd like to concentrate on concepts and results
rather than proofs and lemmas.  Being a CS major, though, I already
know basic propositional and predicate calculus, so I don't want to
start at the very bottom -- but on the other hand, I can't find many
good non-math sources that go beyond this....

Can anyone suggest some good sources for any of the following topics?
(Yes, I'm covering a wide base here, but I can afford to be
flexible... since I'm writing the syllabus :-)

	- Godel's Theorem
	- Computability, Turing machines
	- Church's Thesis
	- Completeness & Consistency of formal languages
	- Lambda Calculus
	- higher-order logics
	- (anything I missed?)

Respond via email, please, and I'll summarize if anyone's interested.
Thanks.

[  M.P.Gerlek (mikeg@lanl.gov)                 -
[  Los Alamos Nat'l Lab / Merrimack College    -
[  Disclaimer: Yes, Mom, I'll play nice.       -
[  "My other machine's an XMP."                -

Technical Details

Message-ID: <MIKEG.90Aug6095554@c3.c3.lanl.gov>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!yale!cmcl2!lanl!beta.lanl.gov.!mikeg

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!yale!cmcl2!lanl!beta.lanl.gov.!mikeg
From: mikeg@c3.c3.lanl.gov (Michael P. Gerlek)
Newsgroups: sci.logic,comp.theory
Subject: Logic/Computability texts for CS types?
Message-ID: <MIKEG.90Aug6095554@c3.c3.lanl.gov>
Date: 6 Aug 90 15:55:54 GMT
Sender: news@lanl.gov
Distribution: sci, comp
Organization: Los Alamos National Laboratory, New Mexico
Lines: 29