Errata

• Class libraries are no longer at iamsun.unibe.ch
• The quotation has been traced
• Chapter 2: program examples
• Chapter 7: program examples

Preface, p xi, line 7: prefence -> preference

p 172, 5 lines from bottom: principle -> principal

p 342, in sl 10-17: an additional bracket is needed

p 428, line 4 - delete full stop after 'stay'

p 428, line 6: Tayler -> Taylor

p 428, 6 lines from bottom: be abused -> been abused

p 492. 5 lines from top: Barendrecht -> Barendregt

p 493 (bibliog.): Champeaux -> de Champeaux