دانلود کتاب Intuitionistic type theory (به فارسی: نظریه نوع شهودی) نوشته شده توسط «Per Martin-Lof»
اطلاعات کتاب نظریه نوع شهودی
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Prometheus Books
نویسنده: Per Martin-Lof
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1985
تعداد صفحه: 100
حجم کتاب: 1 مگابایت
کد کتاب: 9788870881059 , 8870881059
توضیحات کتاب نظریه نوع شهودی
این سخنرانی ها در پادوآ و در آزمایشگاه انجام شد
تحقیق در مورد دینامیک سیستم و الکترونیک زیست پزشکی
شورای ملی تحقیقات در خرداد 1359.
These lectures were given in Padova at the Laboratorio per
Ricerche di Dinamica dei Sistemi e di Elettronica Biomedica of the
Consiglio Nazionale delle Ricerche during the month of June 1980.
Ricerche di Dinamica dei Sistemi e di Elettronica Biomedica of the
Consiglio Nazionale delle Ricerche during the month of June 1980.
