شماره ركورد

58282

شماره مدرك

4379253

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

Sergei Artemov

عنوان

Logical Foundations of Computer Science

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642357220;9783642357213