Combinators, ؟-Terms and Proof Theory
الكاتب: S Stenlund
تصنيف: زراعة و حيوان / زراعة عامة
الناشر: Springer
السّنة: 2011-10-12
ردمك: 9789401029155
السّعر (USD): 46.0
يَوْمَ نَطْوِي السَّمَاءَ كَطَيِّ السِّجِلِّ لِلْكُتُبِ
📚 فهرس عناوين مكتبة نيل و فرات - رجب 1446/جانفي 2025الكاتب: S Stenlund
تصنيف: زراعة و حيوان / زراعة عامة
الناشر: Springer
السّنة: 2011-10-12
ردمك: 9789401029155
السّعر (USD): 46.0