دانلود کتاب Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995
by Giovanni Sambin
|
عنوان فارسی: بیست و پنج سال از نظریه نوع سازنده. مجموعه مقالات کنگره در ونیز ، اکتبر سال 1995 برگزار شد |