01327nam a22003374a 4500001001200000003000800012005001700020006001900037007001500056008004100071010001700112020001500129040002100144035002100165050002400186082001600210090001700226100002900243245009000272260006000362300002500422490003700447504005100484533015200535650003900687655003400726710002200760830005900782856013100841999001700972ebr10052991CaPaEBR20260707174200.0m        u        cr cn|||||||||000314s2000    nyu     sb    001 0 eng    z   00035703   z0306463946  aCaPaEBRcCaPaEBR  a(OCoLC)64732155114aQA9.47b.M56 2000eb04a511/.22221  c70304d626771 aMint͡s︡, G. E.99937112aA short introduction to intuitionistic logich[electronic resource] /cGrigori Mints.  aNew York :bKluwer Academic / Plenum Publishers,c2000.  aix, 131 p. ;c24 cm.1 aUniversity series in mathematics  aIncludes bibliographical references and index.  aElectronic reproduction.bPalo Alto, Calif. :cebrary,d2009.nAvailable via World Wide Web.nAccess may be limited to ebrary affiliated libraries. 0aIntuitionistic mathematics.999372 7aElectronic books.2local91902 aebrary, Inc.9191 0aUniversity series in mathematics (Plenum Press)99937340uhttp://site.ebrary.com/lib/strathmore/Doc?id=10052991zAn electronic book accessible through the World Wide Web; click to view  c70304d62677