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 | 10999 reads
|
Browse archives
Active forum topics |
Recent comments
3 weeks 5 days ago
44 weeks 11 hours ago
44 weeks 15 hours ago
44 weeks 15 hours ago
1 year 14 weeks ago
1 year 18 weeks ago
1 year 19 weeks ago
1 year 19 weeks ago
1 year 22 weeks ago
1 year 27 weeks ago