دانلود کتاب Logic, Foundations of Mathematics, and Computability Theory: Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975
by Yu. L. Ershov (auth.), Robert E. Butts, Jaakko Hintikka (eds.)
|
عنوان فارسی: منطق، مبانی ریاضیات، و نظریه محاسبات : قسمت اول از مجموعه مقالات کنگره پنجم بین المللی منطق ، روش و فلسفه علم ، لندن ، انتاریو، کانادا ، 1975 |