cstms.berkeley.edu
The Language of Thought Will be Calculable Like Mathematics: Engineers, Mathematicians, and the Writing of Computer Histories.
Visit the post for more.
