Matches in Library of Congress for { <http://lccn.loc.gov/2009051396> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2009051396 contributor B11454767.
- 2009051396 contributor B11454768.
- 2009051396 created "2010.".
- 2009051396 date "2010".
- 2009051396 date "2010.".
- 2009051396 dateCopyrighted "2010.".
- 2009051396 description "Includes bibliographical references (p. 457-464) and index.".
- 2009051396 extent "xv, 479 p. :".
- 2009051396 identifier "052151729X (alk. paper)".
- 2009051396 identifier "9780521517294 (alk. paper)".
- 2009051396 isPartOf "Perspectives in logic".
- 2009051396 issued "2010".
- 2009051396 issued "2010.".
- 2009051396 language "eng".
- 2009051396 publisher "Ithaca, NY : Association for Symbolic Logic ; New York, NY : Cambridge University Press,".
- 2009051396 subject "511.3/6 22".
- 2009051396 subject "Computational complexity.".
- 2009051396 subject "Logic, Symbolic and mathematical.".
- 2009051396 subject "Proof theory.".
- 2009051396 subject "QA267.7 .C695 2010".
- 2009051396 title "Logical foundations of proof complexity / Stephen Cook, Phuong Nguyen.".
- 2009051396 type "text".