Metamathematical investigation of intuitionistic arithmetic and analysis editor A. S. Troelstra
Material type: TextSeries: Lecture notes in mathematics; 344Publication details: Berlin Springer-Verlag 1973Description: xvii, 485pISBN:- 3450064915
- 511.2 T843M
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
General Books | Govind Ballabh Pant University of Agriculture and Technology | 511.2 T843M (Browse shelf(Opens below)) | Available | 185204 |
Includes bibliography
There are no comments on this title.