Home » forums » LtU Forum

resources related to logic?

Are there any resources online for someone looking to learn about logic..specifically as it relates to recent papers in PLT involving proof carrying code, typed assembly language, etc.? What are good printed books? (should be basic introduction). I couldn't find anything other than Jean H. Gallier's 'Logic for Computer Science.' at http://www.cis.upenn.edu/~jean/gbooks/logic.html

Thanks.

By shahbaz at 2005-05-16 04:26 | LtU Forum | previous forum topic | next forum topic | other blogs | 11329 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Printed

The introductional course to logic I took used 'Logic in Computer Science' by Huth & Ryan, which I found to be quite good. Besides the usual propositional and predicate logic, it also covers some modal logic (but only epistemic it seems as I skim through it) and a little bit on program verification. Something like this should get you ready for the more interesting material.

(As for books on modal logic, Richard Zach has a short list on his weblog.)

By Martijn Vermaat at Mon, 2005-05-16 09:15 | login or register to post comments

Types

Looking at your specific interests, I can recommend Cardelli & Wegner's 'On Understanding Types [...]'.

Furthermore, you probably want something on Curry-Howard, maybe the classic Proofs and Types by Jean-Yves Girard.

By Martijn Vermaat at Mon, 2005-05-16 09:32 | login or register to post comments

Logic Books

You might find Logic: An Introduction to the Formal Study of Reasoning helpful. For a combined text and software approach, see Language, Proof, and Logic.

By Paul Snively at Mon, 2005-05-16 13:05 | login or register to post comments

found another one

Seems pretty recent (2004). The Logical Foundations of Computer Science and Mathematics.

By shahbaz at Mon, 2005-05-16 13:52 | login or register to post comments

Haskell Road

I found The Haskell Road to Logic, Maths and Programming pretty useful for brushing up on the basics, and it serves as a nice tutorial on Haskell too. Perhaps not enough depth for the topics you want to look into, though.

By Neil Madden at Mon, 2005-05-16 15:48 | login or register to post comments

Beseme

See here.

By Ehud Lamm at Mon, 2005-05-16 17:53 | login or register to post comments