navigation

CIS 301 Textbook

Julie Thornton
Computer Science Department
Kansas State University

Email: juliet@ksu.edu

This is the textbook for CIS 301, Logical Foundations of Programming, at Kansas State University. It is adapted from two previous versions of the course text: