The little prover /

The little prover / / Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen.

Saved in:
Bibliographic Details
VerfasserIn:
Friedman, Daniel P.,
Eastlund, Carl,
TeilnehmendeR:
Eastlund, Carl,
Bibby, Duane,
Moore, J. Strother,
Felleisen, Matthias,
Place / Publishing House:Cambridge, Massachusetts ;, London, [England] : : The MIT Press,, 2015.
2015
Year of Publication:2015
Language:English
Online Access:
Physical Description:1 online resource (244 pages) :; illustrations
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5003433792
ctrlnum (MiAaPQ)5003433792
(Au-PeEL)EBL3433792
(CaPaEBR)ebr11080237
(OCoLC)914255579
collection bib_alma
record_format marc
spelling Friedman, Daniel P., author.
The little prover / Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen.
Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
2015
1 online resource (244 pages) : illustrations
text rdacontent
computer rdamedia
online resource rdacarrier
Includes bibliographical references and index.
Description based on print version record.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Automatic theorem proving.
LISP (Computer program language)
Electronic books.
Eastlund, Carl, author.
Bibby, Duane, illustrator.
Moore, J. Strother, author of introduction, etc.
Felleisen, Matthias, author of afterword, colophon, etc.
Print version: Friedman, Daniel P. Little prover. Cambridge, Massachusetts ; London, [England] : The MIT Press, c2015 xiii, 229 pages 9780262527958 2015001271
ProQuest (Firm)
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3433792 Click to View
language English
format eBook
author Friedman, Daniel P.,
Eastlund, Carl,
spellingShingle Friedman, Daniel P.,
Eastlund, Carl,
The little prover /
author_facet Friedman, Daniel P.,
Eastlund, Carl,
Eastlund, Carl,
Bibby, Duane,
Moore, J. Strother,
Felleisen, Matthias,
author_variant d p f dp dpf
c e ce
author_role VerfasserIn
VerfasserIn
author2 Eastlund, Carl,
Bibby, Duane,
Moore, J. Strother,
Felleisen, Matthias,
author2_variant d b db
j s m js jsm
m f mf
author2_role TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
author_sort Friedman, Daniel P.,
title The little prover /
title_full The little prover / Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen.
title_fullStr The little prover / Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen.
title_full_unstemmed The little prover / Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen.
title_auth The little prover /
title_new The little prover /
title_sort the little prover /
publisher The MIT Press,
publishDate 2015
physical 1 online resource (244 pages) : illustrations
isbn 9780262330565
9780262527958
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.9 A96 F745 42015
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3433792
illustrated Illustrated
dewey-hundreds 500 - Science
dewey-tens 510 - Mathematics
dewey-ones 511 - General principles of mathematics
dewey-full 511.3/6028563
dewey-sort 3511.3 76028563
dewey-raw 511.3/6028563
dewey-search 511.3/6028563
oclc_num 914255579
work_keys_str_mv AT friedmandanielp thelittleprover
AT eastlundcarl thelittleprover
AT bibbyduane thelittleprover
AT moorejstrother thelittleprover
AT felleisenmatthias thelittleprover
AT friedmandanielp littleprover
AT eastlundcarl littleprover
AT bibbyduane littleprover
AT moorejstrother littleprover
AT felleisenmatthias littleprover
status_str n
ids_txt_mv (MiAaPQ)5003433792
(Au-PeEL)EBL3433792
(CaPaEBR)ebr11080237
(OCoLC)914255579
is_hierarchy_title The little prover /
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
noLinkedField
_version_ 1792330878173577216
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02001nam a2200457 i 4500</leader><controlfield tag="001">5003433792</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">150729t20152015maua ob 001 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780262527958</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262330565</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5003433792</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL3433792</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr11080237</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)914255579</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.9.A96</subfield><subfield code="b">.F745 2015</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/6028563</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Friedman, Daniel P.,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="245" ind1="1" ind2="4"><subfield code="a">The little prover /</subfield><subfield code="c">Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Massachusetts ;</subfield><subfield code="a">London, [England] :</subfield><subfield code="b">The MIT Press,</subfield><subfield code="c">2015.</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (244 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on print version record.</subfield></datafield><datafield tag="590" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Automatic theorem proving.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">LISP (Computer program language)</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Eastlund, Carl,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bibby, Duane,</subfield><subfield code="e">illustrator.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Moore, J. Strother,</subfield><subfield code="e">author of introduction, etc.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Felleisen, Matthias,</subfield><subfield code="e">author of afterword, colophon, etc.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Friedman, Daniel P.</subfield><subfield code="t">Little prover.</subfield><subfield code="d">Cambridge, Massachusetts ; London, [England] : The MIT Press, c2015 </subfield><subfield code="h">xiii, 229 pages </subfield><subfield code="z">9780262527958 </subfield><subfield code="w">2015001271</subfield></datafield><datafield tag="797" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3433792</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items