Structural proof theory

• 作者：Sara Negri, Jan von Plato, Appendix by Aarne Ranta.
• 出版者：Cambridge University Press
• 出版地：Cambridge :
• 語文：英語
• 電子資源：Access by subscription
• ISBN/ISSN/ISRC：9780511527340 (ebook) ; 9780521793070 (hardback)
• 作者：Negri, Sara.;Ranta, Aarne.;von Plato, Jan.
• 索書號：511.3