دانلود کتاب Automated reasoning in higher-order logic: set comprehension and extensionality in church`s type theory
by Brown, Chad E
|
عنوان فارسی: خودکار استدلال در مرتبه بالاتر منطق: مجموعه درک و extensionality در کلیسا نوع نظریه |