Explicit mathematics workbook cl.3 (2000 FRS)