edited by Gert H. Muller; in coll. with Wolfgan Lenski
یادداشتهای مربوط به دسترسی موضوعی
متن يادداشت
R
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
متن يادداشت
1
متن يادداشت
1
متن يادداشت
1
متن يادداشت
1
متن يادداشت
1
متن يادداشت
2
متن يادداشت
2
متن يادداشت
2
متن يادداشت
2
متن يادداشت
2
متن يادداشت
2
یادداشتهای مربوط به مندرجات
متن يادداشت
Vol.1. Classical logic.--Vol.2. Non-classical logics.--Vol.3. Model theory.--Vol.4. Recursion theory.--Vol.5. Set theory.--Vol.6. Proof theory constructive mathematics
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Bibliography ، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
Z
6654
.
M26047
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )