Logic And Structure 1997