mikeg@c3.c3.lanl.gov (Michael P. Gerlek) (08/06/90)
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." -