Proof Theory: Sequent Calculi and Related Formalisms

girro 19 阅读 0 评论
数学、统计Mathematics

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

代发服务PDF电子书10元立即求助