[Polhode]

Yes, This Weeks Finds is brilliant, though not so weekly these days.

Also, on the subject of links between topology and logic - Louis Kauffman has a lot of interesting writings:

http://www2.math.uic.edu/~kauffman/