Image from Google Jackets

Logical foundations of proof complexity Stephen Cook, Phuong Nguyen

By: Contributor(s): Publication details: Ithaca, NY ; New York, NY Association for Symbolic Logic ; Cambridge University Press 2010Description: xv, 479 p. : ill. ; 25 cm., : alk. paperISBN:
  • 9780521517294
ISSN:
  • 2009051396
Subject(s): DDC classification:
  • 511.36 COO
Item type: Books
Tags from this library: No tags from this library for this title.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Current library Call number Status Date due Barcode
Anna Centenary Library 511.36 COO (Browse shelf(Opens below)) Available 205159

Includes bibliographical references (p. 457-464) and index

There are no comments on this title.

to post a comment.

Find us on the map

Powered by Koha