Introduction
摘要
This is a book about old topics through newer lenses. Thus, it mischievously takes the form of a textbook. Our goal is to present classical and substructural logics, from a metainferential perspective. Bare with us.