Logic and Language Models for Computer Science
Preface
Table of Contents
Hints and Partial Solutions
Publisher's Website
Course Syllabus, Fall, 2004
Cool Picture