Logical Methods in Computer Science preparing initial issues - Peter Suber (2004)