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