Friday, February 23, 2007

LateX for Logicians : update

Peter Smith has updated his very useful LateX for Logicians pages.