000 | 00673pam a2200217a 44500 | ||
---|---|---|---|
003 | OSt | ||
005 | 20220328105849.0 | ||
008 | 160408b1985 xxu||||| |||| 00| 0 eng d | ||
040 | _cIIT Kanpur | ||
041 | _aeng | ||
082 |
_a511 _bIn8 |
||
245 | 1 | _aINTERNATIONAL MATHEMATICS | |
260 |
_aAmsterdam _bNorth-Holland _c1985 |
||
300 | _a230p | ||
440 | _aStudies In Logic And The Foundations Of Mathematics | ||
650 | _aModality (Logic) -- Addresses, Essays, Lectures | ||
650 | _aConstructive Mathematics -- Addresses, Essays, Lectures | ||
650 | _aIntuitionistic Mathematics -- Addresses, Essays, Lectures | ||
700 | _aShapiro, Stewart [ed.] | ||
942 | _cBK | ||
999 |
_c292791 _d292791 |