Negri, Sara.{me_controlnum}

概要

作品:	1 作品在 1 項出版品 1 種語言

書目資訊

Structural proof theory by: Negri, Sara.{me_controlnum}; Ranta, Aarne.; von Plato, Jan. (書目-電子資源)

主題

Proof theory.