current edition

You can download the book in four parts, in your choice of pdf or ps format, from the left column below.
You can also download the lecture slides, in pdf format, from the right column below.

the Book the Lecture Slides
Part A (pdf | ps)     Title and Contents
Part B (pdf | ps)
Chapters 0,..5
  1. Preface
  2. Basic Theories
  3. Basic Data Structures
  4. Function Theory
  5. Program Theory
Part C (pdf | ps)
Chapters 5,..9
  1. Programming Language
  2. Recursive Definition
  3. Theory Design and Implementation
  4. Concurrency
Part D (pdf | ps)
Chapters 9,..12
  1. Interaction
  2. Exercises
  3. Reference

Solutions to exercises are available to course instructors.

author's website