Logical foundations: Personal perspective
نشر في Yuri Gurevich
بتاريخ 2021
في مجال الهندسة المعلوماتية
والبحث باللغة
English
تحميل البحث
الملخص بالإنكليزية
This is an attempt to illustrate the glorious history of logical foundations and to discuss the uncertain future.
تحميل البحث