تکمیل و تعریف: کاربرد بازی Ehrenfeucht در منطق مرتبه دوم و منطق [PhD Thesis]
Completeness and definability: Applications of the Ehrenfeucht game in second-order and intensional logic [PhD Thesis]
نویسنده: Kees Doets
ناشر: University of Amsterdam
سال انتشار: 1987
تعداد صفحات: 134
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 1 مگابایت