Logical foundations of proof complexity

Author(s)

Bibliographic Information

Logical foundations of proof complexity

Stephen Cook, Phuong Nguyen

（Perspectives in logic）

Association for Symbolic Logic , Cambridge University Press, 2014, c2010

  • : pbk

Available at  / 5 libraries

Search this Book/Journal

Note

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

Related Books： 1-1 of 1

Details

  • NCID
    BB15676230
  • ISBN
    • 9781107694118
  • Country Code
    xx
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    [S.l.],New York
  • Pages/Volumes
    xv, 479 p.
  • Size
    24 cm
  • Parent Bibliography ID
Page Top