Delete comment from: Stevey's Blog Rants
Alan said...
Steve: Thanks for the interesting post. A great book about mathematical logic is E. C. R. Hehner's A Practical Theory of Programming (freely available on the web in PDF). I took the course with him at University of Toronto in 2003; it was probably the most interesting course in my entire undergraduate CS degree.
Nov 19, 2006, 10:26:00 AM
Posted to Math For Programmers

