دانلود کتاب Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals
by Horská, Anna
|
عنوان فارسی: پنهان کردن نقطه گودل کجاست: اثبات سازگاری Gentzen از سال 1936 و نمایندگی او از عبارات سازنده |
دانلود کتاب
جزییات کتاب
درباره نویسنده
![](https://upload.wikimedia.org/wikipedia/fa/thumb/8/8c/MountDamavand.jpg/50px-MountDamavand.jpg)