اثبات صریح و معناشناسی سازنده

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

اطلاعات کتاب اثبات صریح و معناشناسی سازنده

موضوع اصلی: 1

نوع: کتاب الکترونیکی

نویسنده: Artemov – S.N.

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

تعداد صفحه: 37

حجم کتاب: 2 مگابایت

دانلود کتاب «اثبات صریح و معناشناسی سازنده»