Proof Theory:Sequent Calculi and Related Formalisms
by: Bimbo, Katalin
Publisher: Taylor and Francis ( 2014-08-20 )
ISBN-13: 9781466564664
e-ISBN-13: 9781466564688
ISBN-10: 1466564660
Language: English
未经允许不得转载：Wow! eBook » Proof Theory:Sequent Calculi and Related Formalisms