عنوان
پدید آورنده
موضوع
رده
#QA،#.G367
#
QA
،#.
G367
کتابخانه
محل استقرار
| ما بقی فیلدها | ، ، ،1،1،8،0471961981،75675،01/04/1381،000 | ||||||
| شناسگر رکورد | 75675 | ||||||
| شناسگر ويراست | 9#4248 | ||||||
| اطلاعات محلی رکورد | x#B | ||||||
| زبان اثر | انگلیسی | ||||||
| عنوان و نام پديدآور | #100 mathematical proof #Rowan Garnier, John Taylor | ||||||
| وضعیت نشر و پخش و غیره | Chichester , New York Wiley #c1996 | ||||||
| مشخصات ظاهری | #viii, 317 p.: ill., 25 cm | ||||||
| یادداشتهای مربوط به کتابنامه،واژه نامه و نمایه های داخل اثر | 8#Includes bibliographical references )p. ]273[-274( and inde | ||||||
| موضوع (اسم عام یاعبارت اسمی عام) | Proof theory Logic, Symbolic and mathematical | ||||||
| رده بندی ديویی |
| ||||||
| رده بندی کنگره |
| ||||||
| سایر رده بندی ها | #9.54 | ||||||
| نام شخص - (مسئولیت معنوی برابر ) | #Garnier, Rowan | ||||||
| نام / عنوان به منزله شناسه افزوده | AU،Taylor, John, 1957- |
