Metamathematical investigation of intuitionistic arithmetic and analysis / edited by A.S. Troelstra .
Material type: TextPublisher: Berlin : Springer-Verlag, 1973Description: xvii, 485 p.ISBN: 3540064915.Subject(s): Intuitionistic mathematicsDDC classification: 511.22Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Book | Dr. B. R. Ambedkar Central Library Science | Science Collections | 511.22 T743 Me (Browse shelf(Opens below)) | Available | 59323 |
Browsing Dr. B. R. Ambedkar Central Library shelves, Shelving location: Science, Collection: Science Collections Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
511.1 H9167 Es Essentials of discrete mathematics / | 511.2 K1266 To Topics in mathematical system theory / | 511.2 M56 Ge General systems theory : | 511.22 T743 Me Metamathematical investigation of intuitionistic arithmetic and analysis / | 511.3 Ai82 Lo Logic, automata, and algorithms / | 511.3 Al16 Ma Mathematical logic and formal systems : | 511.3 B237 La The lambda calculus : |
There are no comments on this title.