شماره ركورد
52756
شماره مدرك
4397980
نويسنده/تنالگان
Luiz Carlos Pereira
عنوان
Advances in Natural Deduction
اطلاعات نشر
Springer
سال نشر
2014
شابك
9789400775473 ; 9789400775473 ; 9789400775473 ; 9789400775473 ; 9789400775480 ; 9789400775480 ; 9789400775480 ; 9789400775480
Link To Document