شماره ركورد
55107
شماره مدرك
4405239
نويسنده/تنالگان
Daniel W. Cunningham
عنوان
A Logical Introduction to Proof
اطلاعات نشر
Springer
سال نشر
2013
شابك
9781461436300 ; 9781461436300 ; 9781461436317 ; 9781461436317
Link To Document
https://search.isc.ac/dl/search/defaultta.aspx?DTC=26&DC=55107