Proof Theory: Sequent Calculi and Related Formalisms
Authors: Bimbo, Katalin
Get this book Contact Email: girro@qq.com
Publisher: Taylor and Francis ( 2014-08-20 )
ISBN-13: 9781466564664
e-ISBN-13: 9781466564688
ISBN-10: 1466564660
QQ: 7450911
Language: English
未经允许不得转载：Wow! eBook » Proof Theory: Sequent Calculi and Related Formalisms