عنوان
پدید آورنده
موضوع
رده
#QA،#.R986،#1997
#
QA
،#.
R986
،#
1997
کتابخانه
محل استقرار
| ما بقی فیلدها | #1961-، ، ،v. 136، ، ، ،§،#aghaee§،#1391/06/18 | ||||||||
| عنوان و نام پديدآور | #Admissibility of logical inference rules #Vladimir V. Rybakov | ||||||||
| وضعیت نشر و پخش و غیره | Amsterdam New York Elsevier #1997 | ||||||||
| مشخصات ظاهری | #617 p. : ill. , 24 cm | ||||||||
| فروست | Studies in logic and the foundations of mathematics | ||||||||
| موضوع (اسم عام یاعبارت اسمی عام) | Logic, Symbolic and mathematical Inference | ||||||||
| رده بندی کنگره |
| ||||||||
| سایر رده بندی ها | #9 | ||||||||
| نام شخص - (مسئولیت معنوی برابر ) | #Rybakov, Vladimir V. )Vladimir Vladimir( | ||||||||
| نام / عنوان به منزله شناسه افزوده | TI |
