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 | 10653 reads
|
Browse archives
Active forum topics
|
Recent comments
11 weeks 1 day ago
15 weeks 3 days ago
17 weeks 14 hours ago
17 weeks 14 hours ago
19 weeks 5 days ago
24 weeks 2 days ago
24 weeks 2 days ago
24 weeks 5 days ago
24 weeks 5 days ago
27 weeks 4 days ago