دانلود کتاب Explicit Provability and Constructive Semantics (به فارسی: اثبات صریح و معناشناسی سازنده) نوشته شده توسط «Artemov – S.N.»
اطلاعات کتاب اثبات صریح و معناشناسی سازنده
موضوع اصلی: 1
نوع: کتاب الکترونیکی
نویسنده: Artemov – S.N.
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
تعداد صفحه: 37
حجم کتاب: 2 مگابایت
دانلود کتاب «اثبات صریح و معناشناسی سازنده»