Extensional Godel functional intepretation: A consistency of proof of classical analysis
Material type: TextPublication details: Berlin Springer-Verlag 1973Edition: Description: vi,161pISBN:- 517.5
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | University Library | 517.5 LUC (Browse shelf(Opens below)) | Available | 00005907 |
Browsing University Library shelves Close shelf browser (Hides shelf browser)
There are no comments on this title.