A Tutorial on Institution Theory

This is an introductory logic oriented tutorial, consisting of three parts:

1. Introduction presentation style handout style
2. Some basic methods presentation style handout style
3. Elements of internal logic presentation style handout style

back to Home Page