Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/202496
| Title: | FORMALIZATION OF SET THEORY IN COQ | Authors: | LEOW WEI XIANG | Issue Date: | 2017 | Citation: | LEOW WEI XIANG (2017). FORMALIZATION OF SET THEORY IN COQ. ScholarBank@NUS Repository. | URI: | https://scholarbank.nus.edu.sg/handle/10635/202496 |
| Appears in Collections: | Bachelor's Theses |
Show full item record
Files in This Item:
| File | Description | Size | Format | Access Settings | Version | |
|---|---|---|---|---|---|---|
| a0097299.pdf | 190.55 kB | Adobe PDF | CLOSED | None |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.