کتابخانه مرکزی دانشگاه صنعتی شریف
    • [نمايش بزرگتر]
    • [نمايش کوچکتر]
  • صفحه 
    		 از  0
  • [صفحه بعد]
  • [صفحه قبل]
  • [نمایش تمام صفحه]
  • [بستن]
 
منطق تعبیرپذیری واثبات پذیری
معمارزاده، مسعود.

اطلاعات کتابشناختی

منطق تعبیرپذیری واثبات پذیری
پدیدآور اصلی :   معمارزاده، مسعود.
ناشر :   صنعتی شریف
سال انتشار  :   1382
موضوع ها :   حساب Arithmetic منطق موجهات Modal Logic اثبات پذیری Provability تعبیرپذیری...
شماره راهنما :   ‭02-34774

جستجو در محتوا

ترتيب

فهرست مطالب
Loading...