This is the first comprehensive introduction to Display Logic in the context of generalized GentzenProducator: SPRINGER PG