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
Technics ; Second edition (July 1, 2017) | English | 9781634622349
MIT ; 5th edition (1 Feb. 2022) | English | 9780262046428
The MIT (August 2, 2022) | English | 9780262543965
The MIT (December 20, 2022) | English | 9780262047555
The MIT (November 8, 2022) | English | 9780262047326
The MIT (October 25, 2022) | English | 9780262046473
Pragmatic Bookshelf; 1st edition (January 4,2022) | English | 9781680506969
The MIT (March 8, 2022) | English | 9780262543453
Beginner’s Guide to GNU/Linux Scripting Learn bash and the Unix core utilities in a relaxed way 60 DAYS GUARANTEE ...