Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/203543
| DC Field | Value | |
|---|---|---|
| dc.title | EQUICONSISTENCY OF CLASSICAL PREDICATIVE CALCULUS AND INTUITIONISTIC PREDICATIVE CALCULUS - INVESTIGATING KURT SCHÜTTE'S PROOF THEORY AND GÖDEL'S 1933E | |
| dc.contributor.author | QUEK ZHU HUI JOEL | |
| dc.date.accessioned | 2021-10-15T07:36:30Z | |
| dc.date.available | 2021-10-15T07:36:30Z | |
| dc.date.issued | 2014 | |
| dc.identifier.citation | QUEK ZHU HUI JOEL (2014). EQUICONSISTENCY OF CLASSICAL PREDICATIVE CALCULUS AND INTUITIONISTIC PREDICATIVE CALCULUS - INVESTIGATING KURT SCHÜTTE'S PROOF THEORY AND GÖDEL'S 1933E. ScholarBank@NUS Repository. | |
| dc.identifier.uri | https://scholarbank.nus.edu.sg/handle/10635/203543 | |
| dc.type | Thesis | |
| dc.contributor.department | MATHEMATICS | |
| dc.contributor.supervisor | YANG YUE | |
| dc.description.degree | Bachelor's | |
| dc.description.degreeconferred | BACHELOR OF SCIENCE (HONOURS) | |
| Appears in Collections: | Bachelor's Theses | |
Show simple item record
Files in This Item:
| File | Description | Size | Format | Access Settings | Version | |
|---|---|---|---|---|---|---|
| A0072207.pdf | 388.19 kB | Adobe PDF | CLOSED | None |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.