Perspectives in logic : logical foundations of proof complexity / / Stephen Cook, Phuong Nguyen.
Saved in:
: | |
---|---|
TeilnehmendeR: | |
Year of Publication: | 2010 |
Language: | English |
Online Access: | |
Physical Description: | xv, 479 p. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
500501328 |
---|---|
ctrlnum |
(MiAaPQ)500501328 (Au-PeEL)EBL501328 (CaPaEBR)ebr10382910 (CaONFJC)MIL253611 (OCoLC)654029369 |
collection |
bib_alma |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01385nam a2200373Ia 4500</leader><controlfield tag="001">500501328</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">091230s2010 enk sb 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2009051396</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521517294 (alk. paper)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500501328</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL501328</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10382910</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL253611</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)654029369</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA267.7</subfield><subfield code="b">.C695 2010</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">511.3/6</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cook, Stephen,</subfield><subfield code="d">1948-</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Perspectives in logic</subfield><subfield code="h">[electronic resource] :</subfield><subfield code="b">logical foundations of proof complexity /</subfield><subfield code="c">Stephen Cook, Phuong Nguyen.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">2010.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xv, 479 p.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="533" 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">Computational complexity.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nguyen, Phuong,</subfield><subfield code="d">1977-</subfield></datafield><datafield tag="710" 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=501328</subfield><subfield code="z">Click to View</subfield></datafield></record></collection> |
record_format |
marc |
spelling |
Cook, Stephen, 1948- Perspectives in logic [electronic resource] : logical foundations of proof complexity / Stephen Cook, Phuong Nguyen. Cambridge ; New York : Cambridge University Press, 2010. xv, 479 p. Includes bibliographical references and index. Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Computational complexity. Proof theory. Logic, Symbolic and mathematical. Electronic books. Nguyen, Phuong, 1977- ProQuest (Firm) https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=501328 Click to View |
language |
English |
format |
Electronic eBook |
author |
Cook, Stephen, 1948- |
spellingShingle |
Cook, Stephen, 1948- Perspectives in logic logical foundations of proof complexity / |
author_facet |
Cook, Stephen, 1948- Nguyen, Phuong, 1977- ProQuest (Firm) ProQuest (Firm) |
author_variant |
s c sc |
author2 |
Nguyen, Phuong, 1977- ProQuest (Firm) |
author2_variant |
p n pn |
author2_role |
TeilnehmendeR TeilnehmendeR |
author_corporate |
ProQuest (Firm) |
author_sort |
Cook, Stephen, 1948- |
title |
Perspectives in logic logical foundations of proof complexity / |
title_sub |
logical foundations of proof complexity / |
title_full |
Perspectives in logic [electronic resource] : logical foundations of proof complexity / Stephen Cook, Phuong Nguyen. |
title_fullStr |
Perspectives in logic [electronic resource] : logical foundations of proof complexity / Stephen Cook, Phuong Nguyen. |
title_full_unstemmed |
Perspectives in logic [electronic resource] : logical foundations of proof complexity / Stephen Cook, Phuong Nguyen. |
title_auth |
Perspectives in logic logical foundations of proof complexity / |
title_new |
Perspectives in logic |
title_sort |
perspectives in logic logical foundations of proof complexity / |
publisher |
Cambridge University Press, |
publishDate |
2010 |
physical |
xv, 479 p. |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA267 |
callnumber-sort |
QA 3267.7 C695 42010 |
genre |
Electronic books. |
genre_facet |
Electronic books. |
url |
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=501328 |
illustrated |
Not Illustrated |
dewey-hundreds |
500 - Science |
dewey-tens |
510 - Mathematics |
dewey-ones |
511 - General principles of mathematics |
dewey-full |
511.3/6 |
dewey-sort |
3511.3 16 |
dewey-raw |
511.3/6 |
dewey-search |
511.3/6 |
oclc_num |
654029369 |
work_keys_str_mv |
AT cookstephen perspectivesinlogiclogicalfoundationsofproofcomplexity AT nguyenphuong perspectivesinlogiclogicalfoundationsofproofcomplexity AT proquestfirm perspectivesinlogiclogicalfoundationsofproofcomplexity |
status_str |
n |
ids_txt_mv |
(MiAaPQ)500501328 (Au-PeEL)EBL501328 (CaPaEBR)ebr10382910 (CaONFJC)MIL253611 (OCoLC)654029369 |
is_hierarchy_title |
Perspectives in logic logical foundations of proof complexity / |
author2_original_writing_str_mv |
noLinkedField noLinkedField |
_version_ |
1792330699064213504 |