حقیقت از طریق اثبات: یک بنیاد فرمالیستی برای ریاضیات
Truth Through Proof: A Formalist Foundation for Mathematics
نویسنده: Alan Weir
ناشر: Oxford University Press
سال انتشار: 2010
تعداد صفحات: 294
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 6 مگابایت