---

CSCI B510 - Introduction To Applied Logic

Spring 2018

• Instructor: Daniel Leivant (leivant)
• Sections: 13038

Spring 2017

• Instructor: Daniel Leivant (leivant)
• Sections: 30651

Fall 2012

• Instructor: Daniel Leivant (leivant)
• Sections: 29695