شماره ركورد

49719

شماره مدرك

4399251

نويسنده/تنالگان

Katalin Bimbo

عنوان

Proof Theory: Sequent Calculi and Related Formalisms

اطلاعات نشر

CRC Press

سال نشر

2014

شابك

9781466564688 ; 9781466564688 ; 9781466564664 ; 9781466564664