000 02000nam a2200457 i 4500
001 EBC3433792
003 MiAaPQ
006 m o d |
007 cr cnu||||||||
008 150729t20152015maua ob 001 0 eng d
020 _z9780262527958
020 _a9780262330565 (e-book)
035 _a(MiAaPQ)EBC3433792
035 _a(Au-PeEL)EBL3433792
035 _a(CaPaEBR)ebr11080237
035 _a(OCoLC)914255579
040 _aMiAaPQ
_beng
_erda
_epn
_cMiAaPQ
_dMiAaPQ
050 4 _aQA76.9.A96
_b.F745 2015
082 0 _a511.3/6028563
_223
100 1 _aFriedman, Daniel P.,
_eauthor.
245 1 4 _aThe little prover /
_cDaniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen.
264 1 _aCambridge, Massachusetts ;
_aLondon, [England] :
_bThe MIT Press,
_c2015.
264 4 _c�2015
300 _a1 online resource (244 pages) :
_billustrations
336 _atext
_2rdacontent
337 _acomputer
_2rdamedia
338 _aonline resource
_2rdacarrier
504 _aIncludes bibliographical references and index.
588 _aDescription based on print version record.
590 _aElectronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
650 0 _aAutomatic theorem proving.
650 0 _aLISP (Computer program language)
655 4 _aElectronic books.
700 1 _aEastlund, Carl,
_eauthor.
700 1 _aBibby, Duane,
_eillustrator.
700 1 _aMoore, J. Strother,
_eauthor of introduction, etc.
700 1 _aFelleisen, Matthias,
_eauthor of afterword, colophon, etc.
776 0 8 _iPrint version:
_aFriedman, Daniel P.
_tLittle prover.
_dCambridge, Massachusetts ; London, [England] : The MIT Press, c2015
_hxiii, 229 pages
_z9780262527958
_w2015001271
797 2 _aProQuest (Firm)
856 4 0 _uhttps://ebookcentral.proquest.com/lib/nird-ebooks/detail.action?docID=3433792
_zClick to View
999 _c41593
_d41593