Constructive Metatheory: 1. Basic Features and Historical Foundations · Study