Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Birkhäuser; 1st ed. 2023 edition (January 2, 2023) | English | 9783031211119
Birkhäuser; 1st ed. 2023 edition (January 2, 2023) | English | 9783031211119
Packt (January 6, 2023) | English | 9781801814317
Microsoft ; 4th edition (November 15, 2012) | English | 9780735667457
Apress; 1st ed. edition (December 25, 2022) | English | 9781484290255
Pearson; 4th edition (April 21, 2015) | English | 9780134058160
Apress; 1st ed. edition (December 29, 2022) | English | 9781484287637
Apress; 1st ed. edition (December 28, 2022) | English | 9781484289884
Apress; 1st ed. edition (December 28, 2022) | English | 9781484288870
Apress; 1st ed. edition (December 31, 2022) | English | 9781484281079
Engineering Science Reference (September 30, 2022) | English | 9781668457238