User loginNavigation |
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 | 10555 reads
|
Browse archives
Active forum topics
|
Recent comments
2 weeks 3 days ago
7 weeks 16 hours ago
7 weeks 18 hours ago
7 weeks 3 days ago
7 weeks 3 days ago
10 weeks 2 days ago
11 weeks 4 hours ago
11 weeks 1 day ago
11 weeks 1 day ago
11 weeks 6 days ago