CIS 301. Logical Foundations of Programming, Spring 1995

• Syllabus
• Homework 1 (solutions)
• Homework 2 (solutions)
• Homework 3 (solutions)
• Homework 4 (solutions)
• Homework 5 (solutions)
• Homework 6 (solutions, and an example)
• Homework 7 (solutions)
• Homework 8 (solutions)
• Homework 9 (solutions)