عنوان
پدید آورنده
موضوع
رده
QA .H36 9 2004
QA
.
H36
9
2004
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
A first course in logic
نام نخستين پديدآور
Shawn Hedman
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Oxford ;New York
نام ناشر، پخش کننده و غيره
Oxford University Press
تاریخ نشرو بخش و غیره
2004
مشخصات ظاهری
نام خاص و کميت اثر
xx, 431 p. , ill
فروست
عنوان فروست
Oxford texts in logic ;1
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Includes bibliographical references )p. ]426[-427( and index
عنوانهای گونه گون دیگر
عنوان گونه گون
an introduction to model theory, proof theory, computability, and complexity
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Logic
عنصر شناسه ای
Logic -- Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
شماره رکورد رده بندي
9
نشانه اثر
.
H36
شماره رکورد غير از شماره رده بندي
2004
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Hedman, Shawn
عنصر شناسه اي
Title
اطلاعات رکورد کتابشناسی
نوع ماده
English Book
