• شماره ركورد
    55107
  • شماره مدرك
    4405239
  • نويسنده/تنالگان
    Daniel W. Cunningham
  • عنوان

    A Logical Introduction to Proof

  • اطلاعات نشر
    Springer
  • سال نشر
    2013
  • شابك
    9781461436300 ; 9781461436300 ; 9781461436317 ; 9781461436317