Synthese 99 (IMEB, 2000)