In the name of Allah the Merciful

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