Proof Theory: Sequent Calculi and Related Formalisms

数学、统计

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立即求助