Publisher's Synopsis
Discrete mathematics is a compulsory subject for undergraduate computer scientists. This new edition includes new chapters on statements and proof, logical framework, natural numbers and the integers and updated exercises from the previous edition.