Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/203543
| Title: | EQUICONSISTENCY OF CLASSICAL PREDICATIVE CALCULUS AND INTUITIONISTIC PREDICATIVE CALCULUS - INVESTIGATING KURT SCHÜTTE'S PROOF THEORY AND GÖDEL'S 1933E | Authors: | QUEK ZHU HUI JOEL | Issue Date: | 2014 | 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. | URI: | https://scholarbank.nus.edu.sg/handle/10635/203543 |
| Appears in Collections: | Bachelor's Theses |
Show full 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.