عنوان
پدید آورنده
موضوع
رده
L926m
L926m
کتابخانه
محل استقرار
عنوان و نام پديدآور
نام نخستين پديدآور
Lu, Chung-wan
عنوان اصلي
Mathematical logic for computer science
وضعیت نشر و پخش و غیره
تاریخ نشرو بخش و غیره
c1989
نام ناشر، پخش کننده و غيره
World scientific
مشخصات ظاهری
ساير جزييات
102100BL0051031
ساير جزييات
ix, 248 p. : ill
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computer science- Mathematics ► Logic, Symbolic and mathematical
رده بندی ديویی
ويراست
L926m
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Lu Zhongwan
