Structural proof theory /

• 作者：Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta
• 出版者：Cambridge University Press
• 出版地：Cambridge :
• 語文：英語
• ISBN/ISSN/ISRC：0521793076
• 作者：NegriSara;Von Plato Jan
• 索書號：511.3