عنوان
پدید آورنده
موضوع
رده
511,.3,.K32,2007
511
,.
3
,.
K32
,
2007
کتابخانه
محل استقرار
استان: کهگیلویه و بویراحمد ـ شهر: یاسوج
شابک
شابک
9780521882194 (hbk.)
اطلاعات محلی رکورد
نوع مدرک
English Book
عنوان و نام پديدآور
عنوان اصلي
The mathematics of logic
ساير اطلاعات عنواني
a guide to completeness theorems and their applications
نام نخستين پديدآور
Richard W. Kaye
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge ;New York
نام ناشر، پخش کننده و غيره
Cambridge University Press,
تاریخ نشرو بخش و غیره
2007
مشخصات ظاهری
نام خاص و کميت اثر
xi, 204 p. , ill. , 24 cm.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Logic, Symbolic and mathematical
رده بندی ديویی
شماره
511
,.
3
,.
K32
,
2007
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Kaye, Richard(Richard W.)
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Title
