کارت اعتباری یلدا با 3,000,000 تومان اعتبار دانلود! جهت توضیحات بیشتر کلیک کنید
Simple Type Theory - A Practical Logic for Expressing and Reasoning About Mathematical Ideas
William M. Farmer, 9783031211119, 9783031211126
English | 2023 | PDF