عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3211826467
شابک
370919394X
شابک
9783211826461
شابک
9783709193945
شماره کتابشناسی ملی
شماره
b587796
عنوان و نام پديدآور
عنوان اصلي
Collegium Logicum.
نام عام مواد
[Book]
نام نخستين پديدآور
Kurt Gödel Society.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Vienna
نام ناشر، پخش کننده و غيره
Springer Vienna
تاریخ نشرو بخش و غیره
1995
مشخصات ظاهری
نام خاص و کميت اثر
(VII, 122 pages 2 illustrations)
فروست
عنوان فروست
Collegium Logicum, Annals of the Kurt-Gödel-Society,, 1.
یادداشتهای مربوط به مندرجات
متن يادداشت
P. Vihan: The Last Month of Gerhard Gentzen in Prague. --; F.A. Rodríguez-Consuegra: Some Issues on Gödel's Unpublished Philosophical Manuscripts. --; D.D. Spalt: Vollständigkeit als Ziel historischer Explikation. Eine Fallstudie. --; E. Engeler: Existenz und Negation in Mathematik und Logik. --; W.J. Gutjahr: Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse. --; R. Hähnle: Automated Deduction and Integer Programming. --; M. Baaz, A. Leitsch: Methods of Functional Extension.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Computer software.
موضوع مستند نشده
Mathematics.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Kurt Gödel Society.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Kurt Gödel Society.
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
