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 _c157505
_d157505