کلمه عبورتان را فراموش کردهاید؟
درخواست عضویت
از ارسطو تا گودل (1382) / موحد ، ضیا (1321 -)، گردآورنده نوع مدرک:متون چاپیسرشناسهموحد ، ضیا (1321 -)، گردآورندهشماره بازیابی :160 م836فلا 1382عنوان :از ارسطو تا گودل : مجموعه مقالههای فلسفی - منطقیتکرار نام مولف :ضیاء موحدناشر:تهران : هرمسسال نشر :1382فروست :مجموعه ادب و فکر ؛ ۲۵ صفحه شمار:دوازده، 272 صشابک/شاپا964-363-105-2موضوعها :اصفافلسفه جدید-- قرن 20م ؛ منطق-- قرن 20م ؛ منطق ریاضیلینک ثابت رکورد:../opac/index.php?lvl=record_display&id=55435زبان مدرک :فارسی درخواست رزرو فهرست موجودی مدرک شماره ثبتشماره بازیابینام عام موادمحل نگهداریبخشوضعیت ثبتوضعیت امانت65514160 م836فلا 1382 کتاب فارسیکتابخانه بامداد امید ارومیه160-169 منطقاسناد معمولیموجود برهان گودل و حقیقت و برهان (1364) / ناگل ، ارنست، نویسنده نوع مدرک:متون چاپیسرشناسهناگل ، ارنست، نویسندهشماره بازیابی :511/3 ن277ب 1364عنوان :برهان گودل و حقیقت و برهانتکرار نام مولف :نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکیناشر:تهران : مولیسال نشر :1364صفحه شمار:145،[6] صشناسه افزوده :نیومن، جیمز روی، 1966 - 1907، .Newman, James Royنویسنده همکار تارسکی، آلفرد، .1982 - 1902 .Tarski, Alfredنویسنده همکار اردشیر بهرستاقی، محمد، 1335 - مترجمموضوعها :اصفاگودل، قضیه ؛ منطق ریاضیلینک ثابت رکورد:../opac/index.php?lvl=record_display&id=58172زبان مدرک :فارسی درخواست رزرو فهرست موجودی مدرک شماره ثبتشماره بازیابینام عام موادمحل نگهداریبخشوضعیت ثبتوضعیت امانت74036511/3 ن277ب 1364 کتاب فارسیکتابخانه بامداد امید ارومیه510-519 ریاضیات اسناد معمولیموجود بنیادهای منطق نگریک (1380) / هیلبرت ، داوید (1943- 1862)، نویسنده نوع مدرک:متون چاپیسرشناسههیلبرت ، داوید (1943- 1862)، نویسندهشماره بازیابی :511/3 ـه986ب 1380عنوان :بنیادهای منطق نگریکتکرار نام مولف :نوشته داوید هیلبرت، ویلهلم آکرمان؛ترجمه میرشمسالدین ادیب سلطانیویرایش :ویراست 6ناشر:تهران : امیرکبیرسال نشر :1380صفحه شمار:304، XXVIII صیادداشتواژهنامه عنوان اصلی:Grundzuege der theoretischen Logik. 6. Auflageشناسه افزوده :Hilbert ، David آکرمان ، ویلهلم (1962- 1896Ackermann, Wilhelm) ادیب سلطانی ، میرشمسالدین (1310)، مترجمموضوعها :اصفامنطق ریاضیلینک ثابت رکورد:../opac/index.php?lvl=record_display&id=1227زبان مدرک :فارسی درخواست رزرو فهرست موجودی مدرک شماره ثبتشماره بازیابینام عام موادمحل نگهداریبخشوضعیت ثبتوضعیت امانت1879511/3 /ـه986ب 1380 کتاب فارسیکتابخانه بامداد امید تهرانسایراسناد معمولیموجود 1880511/3 /ـه986ب 1380 کتاب فارسیکتابخانه بامداد امید تهرانسایراسناد معمولیموجود 010683511/3 /ـه986ب 1380 کتاب فارسیکتابخانه بامداد امید نهاوندسایراسناد معمولیموجود درآمدی به منطق جدید (1373) / موحد ، ضیا (1321)، نویسنده نوع مدرک:متون چاپیسرشناسهموحد ، ضیا (1321)، نویسندهشماره بازیابی :511/3 م836د 1373عنوان :درآمدی به منطق جدیدتکرار نام مولف :نویسنده ضیاء موحدناشر:تهران : شرکت انتشارات علمی و فرهنگیسال نشر :1373صفحه شمار:چهار، 398 صویژگی :جدولیادداشتچاپ پنجم: 1383 کتابنامه: ص. 365 - 368شناسه افزوده :شرکت انتشارات علمی و فرهنگیموضوعها :اصفامنطق ریاضیلینک ثابت رکورد:../opac/index.php?lvl=record_display&id=11953زبان مدرک :فارسی درخواست رزرو فهرست موجودی مدرک شماره ثبتشماره بازیابینام عام موادمحل نگهداریبخشوضعیت ثبتوضعیت امانت22568511/3 م836د 1373 کتاب فارسیکتابخانه بامداد امید ارومیهسایراسناد معمولیموجود 14708511/3 /م836د 1373 کتاب فارسیکتابخانه بامداد امید تهرانسایراسناد معمولیموجود 62449511/3 م836د 1373 کتاب فارسیکتابخانه بامداد امید نهاوندسایراسناد معمولیموجود 42801511/3 م836د 1373 کتاب فارسیکتابخانه بامداد امید نهاوندسایراسناد معمولیموجود رساله منطقی ـ فلسفی: فارسی، آلمانی، انگلیسی (1398) / ویتگنشتاین ، لودویگ (1889 - 1951م)، نویسنده نوع مدرک:متون چاپیسرشناسهویتگنشتاین ، لودویگ (1889 - 1951م)، نویسندهشماره بازیابی :193 و927ر 1398عنوان :رساله منطقی ـ فلسفی: فارسی، آلمانی، انگلیسیتکرار نام مولف :لودویگ ویتگنشتاین ؛ ترجمه مالک حسینیناشر:تهران : نشر کرگدنسال نشر :1398ناشر دیگر :هرمسصفحه شمار:نه، [2]، 212 صابعاد :5/14×5/21 سمشابک/شاپا978-622-6420-62-4شناسه افزوده :Wittgenstein ، Ludwig، نویسنده حسینی ، مالک (1347 -)، مترجمموضوعها :اصفازبان و منطق ؛ Language and logic ؛ منطق ریاضی ؛ Logic, Symbolic and mathematical ؛ زبان-- فلسفه ؛ Language and languages-- Philosophy ؛ فلسفه آلمانی-- قرن 20م ؛ Philosophy, German-- 20th centuryلینک ثابت رکورد:../opac/index.php?lvl=record_display&id=51742زبان مدرک :English Germany فارسی زبان اصلی : English درخواست رزرو فهرست موجودی مدرک شماره ثبتشماره بازیابینام عام موادمحل نگهداریبخشوضعیت ثبتوضعیت امانت56737193 و927ر 1398 کتاب فارسیکتابخانه بامداد امید نهاوندسایراسناد معمولیموجود منطق سمبلیک (1348) / لانگر ، سوزان کاترینا (کناث) (1895-1985م)، نویسنده نوع مدرک:متون چاپیسرشناسهلانگر ، سوزان کاترینا (کناث) (1895-1985م)، نویسندهشماره بازیابی :511/3 ل984م 1348عنوان :منطق سمبلیکتکرار نام مولف :سوزان لنگرناشر:تهران : خوارزمیسال نشر :1348ناشر دیگر :فرانکلینصفحه شمار:332 صویژگی :مصورشناسه افزوده :بزرگمهر ، منوچهر (1289 - 1365)، مترجمموضوعها :اصفامنطق ریاضیلینک ثابت رکورد:../opac/index.php?lvl=record_display&id=44872زبان مدرک :فارسی زبان اصلی : English درخواست رزرو فهرست موجودی مدرک شماره ثبتشماره بازیابینام عام موادمحل نگهداریبخشوضعیت ثبتوضعیت امانت40284511/3 ل984م 1348 کتاب فارسیکتابخانه بامداد امید زاهدانسایراسناد معمولیموجود
