کتابخانه دیجیتال دانشگاه هنر اصفهان
فیلترها

کل نتایج:

1 مورد

Proof theory.
Proof, logic, and formalization

همکار:

Detlefsen, Michael, 1948-

زبان اثر:

En

درباره (موضوع):

Proof theory. ، Logic, Symbolic and mathematical.
نمود / نمونه‌های شی / اثر
Proof, logic, and formalization
محتوا دیجیتال
کتاب

شرح پدیدآور

:
edited by Michael Detlefsen.

محل تولید محتوا (نشر)

:
London; New York

ناشر

:
Routledge,

تاریخ انتشار

:
1992.

محل نگهداری

:
کتاب لاتین
Proof, logic, and formalization

شرح پدیدآور:

edited by Michael Detlefsen.

محل تولید محتوا (نشر):

London; New York

ناشر:

Routledge,

تاریخ انتشار:

1992.

شابک:

0415023351

توصیف:

Includes bibliographical references and index

محل نگهداری:

کتاب لاتین
کتابخانه دیجیتال دانشگاه هنر اصفهان

توضیحات

دسترسی سریع

دوستان کتابخانه

وبسایت

کاربر

ما در شبکه های اجتماعی دنبال کنید