20068-MATHEMATICAL FOUNDATION OF COMPUTER SCIENCE