کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10118842 1633557 2005 8 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Controlling witnesses
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Controlling witnesses
چکیده انگلیسی
This paper presents a translation which allows one to describe constructive provability (in the sense of usual mathematics) within classical first-order logic.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 136, Issues 1–2, October 2005, Pages 22-29
نویسندگان
,