Proof Terms for Generalized Natural Deduction

From MaRDI portal
Publication:6060674