ISBN10: 0521779111, ISBN13: 9780521779111, [publisher: Cambridge University Press] Softcover This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
[Greven, Germany] [Publication Year: 2002]
Show/Hide image

Cambridge Cambridge University Press 2000 Trade paperback New. Trade paperback (US). Contains: Line drawings, Unspecified. Cambridge Tracts in Theoretical Computer Science . 3 b/w illus. 201 exercises. Intended for professional and scholarly audience.

Cambridge Cambridge University Press 2000 Trade paperback Good. Trade paperback (US). Contains: Line drawings, Unspecified. Cambridge Tracts in Theoretical Computer Science . 3 b/w illus. 201 exercises. Intended for professional and scholarly audience.

ISBN10: 0521779111, ISBN13: 9780521779111, [publisher: Cambridge University Press] Softcover
[Columbia, MD, U.S.A.] [Publication Year: 2000]
Show/Hide image

Cambridge Cambridge University Press 2000 2nd Revised edition. Revised. Trade paperback New. Trade paperback (US). 432 p. Cambridge Tracts in Theoretical Computer Science . Worked examples or Exercises; 3 Line drawings, unspecified. Intended for professional and scholarly audience.

ISBN10: 0521779111, ISBN13: 9780521779111, [publisher: Cambridge University Press] Softcover Used book that is in excellent condition. May show signs of wear or have minor defects.
[Mishawaka, IN, U.S.A.] [Publication Year: 2000]

Cambridge Cambridge University Press 2000 2nd Revised edition. Revised. Trade paperback Good. good book. Trade paperback (US). 417 p. Cambridge Tracts in Theoretical Computer Science. Audience: Professional and scholarly. Book: All pages and cover are intact. Pages may have dog-ears. Possible slight loose binding or cocked spine. Cover may have creases, deep chips, scuffs, and scratches. The edges and corners may have a good amount of bumps and wear. Book may contain highlighting/underlining and markings or signed by the previous owner. Book may be Ex Library and have stickers, remainder marks, and library pockets. Used copy so book does not contain unused access codes or have the accompanying CD.