In the name of Allah the Merciful
search results

search results

Sign in
0
{{item.title}} {{item.subtitle}}
{{item.total|number}} Toman
حذف
ثبت و نهایی کردن سفارش
Your download basket is empty
  1. Home
  2. Products
  3. Simple Type Theory - A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Simple Type Theory - A Practical Logic for Expressing and Reasoning About Mathematical Ideas

William M. Farmer, 9783031211119, 9783031211126

10 $

English | 2023 | PDF

number
type
  • {{value}}
wait a little
Simple Type Theory - A Practical Logic for Expressing and Reasoning About Mathematical Ideas