000 | 01354nam a22003734a 4500 | ||
---|---|---|---|
001 | EBC3035676 | ||
003 | MiAaPQ | ||
005 | 20240121041850.0 | ||
006 | m o d | | ||
007 | cr cn||||||||| | ||
008 | 000314s2000 nyu sb 001 0 eng | ||
010 | _z 00035703 | ||
020 | _z0306463946 | ||
035 | _a(MiAaPQ)EBC3035676 | ||
035 | _a(Au-PeEL)EBL3035676 | ||
035 | _a(CaPaEBR)ebr10052991 | ||
035 | _a(CaONFJC)MIL20550 | ||
035 | _a(OCoLC)52085722 | ||
040 |
_aMiAaPQ _cMiAaPQ _dMiAaPQ |
||
050 | 4 |
_aQA9.47 _b.M56 2000 |
|
082 | 0 | 4 |
_a511/.22 _221 |
100 | 1 | _aMints, G. E. | |
245 | 1 | 2 |
_aA short introduction to intuitionistic logic _h[electronic resource] / _cGrigori Mints. |
260 |
_aNew York : _bKluwer Academic / Plenum Publishers, _c2000. |
||
300 | _aix, 131 p. | ||
490 | 1 | _aUniversity series in mathematics | |
504 | _aIncludes bibliographical references and index. | ||
533 | _aElectronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. | ||
650 | 0 | _aIntuitionistic mathematics. | |
655 | 4 | _aElectronic books. | |
710 | 2 | _aProQuest (Firm) | |
830 | 0 | _aUniversity series in mathematics (Plenum Press) | |
856 | 4 | 0 |
_uhttps://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=3035676 _zClick to View |
999 |
_c157506 _d157506 |