Hacker News new | ask | show | jobs
Why Logic Is Important for Computer Science and Mathematics (cs.utexas.edu)
1 points by skyream 4147 days ago