Structure of a logical framework

Structure of a logical framework