شماره ركورد

57933

شماره مدرك

4406498

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

Pavel Pudlak

عنوان

Logical Foundations of Mathematics and Computational Complexity

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783319001197 ; 9783319001197 ; 9783319001180 ; 9783319001180