دانلود کتاب Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy. Brno, Czech Republic, August 1996, Proceedings
by Petr Hajek
|
عنوان فارسی: گودل 96: مبانی منطقی ریاضیات ، علوم کامپیوتر و فیزیک - میراث کورت گودل. |