Logic : : from foundations to applications: European logic colloquium - Hodges, Wilfrid (Oxford science publications, 1996)