Logical Foundations Of Computer Science

From ConfIDent