ISBN10: 0521779111, ISBN13: 9780521779111, [publisher: Cambridge University Press] Softcover Buy for Great customer experience
[Houston, TX, U.S.A.] [Publication Year: 2000]

ISBN10: 0521779111, ISBN13: 9780521779111, [publisher: Cambridge University Press] Softcover Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 432 pages, 3 b/w illus. 201 exercises. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 229 x 153 x 26. Weight in Grams: 656. Series: Cambridge Tracts in Theoretical Computer Science. 432 pages, 3 b/w illus. 201 exercises. Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA. Dimension: 229 x 153 x 26. Weight: 668. Series Editor(s) :Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P.H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J.V. . 2000. 2nd Edition. Paperback. . . . .
[Galway, GY, Ireland] [Publication Year: 2000]

ISBN10: 0521779111, ISBN13: 9780521779111, [publisher: Cambridge University Press] Softcover Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 432 pages, 3 b/w illus. 201 exercises. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 229 x 153 x 26. Weight in Grams: 656. Series: Cambridge Tracts in Theoretical Computer Science. 432 pages, 3 b/w illus. 201 exercises. Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA. Dimension: 229 x 153 x 26. Weight: 668. Series Editor(s) :Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P.H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J.V. . 2000. 2nd Edition. Paperback. . . . . Books ship from the US and Ireland.
[Olney, MD, U.S.A.] [Publication Year: 2000]

ISBN10: 0521779111, ISBN13: 9780521779111, [publisher: Cambridge University Press] Softcover Like New
[Redhill, SURRE, United Kingdom] [Publication Year: 2000]

ISBN10: 0521779111, ISBN13: 9780521779111, [publisher: Cambridge University Press] Softcover New
[Long Beach, CA, U.S.A.] [Publication Year: 2000]

ISBN10: 0521779111, ISBN13: 9780521779111, [publisher: Cambridge University Press] Softcover
[Denver, CO, U.S.A.] [Publication Year: 2000]

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.

ISBN10: 0521779111, ISBN13: 9780521779111, [publisher: Cambridge University Press] Softcover In Used Condition
[Austin, TX, U.S.A.] [Publication Year: 2000]

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 Univ Pr] Softcover 2nd sub edition. 417 pages. 8.75x6.00x0.75 inches. In Stock.
[Exeter, United Kingdom] [Publication Year: 2000]

Cambridge Univ Pr, Date: 2000. Paperback. New. 2nd sub edition. 417 pages. 8.75x6.00x0.75 inches. 2000. Cambridge Univ Pr ISBN 0521779111 9780521779111 [GB]

ISBN10: 0521779111, ISBN13: 9780521779111, [publisher: Cambridge University Press, Cambridge] Softcover Paperback. This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category theory, modal logic, linear logic, first-order arithmetic and second-order logic. In each case the authors illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. For the new edition, they have rewritten many sections to improve clarity, added new sections on cut elimination, and included solutions to selected exercises. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category theory, modal logic, linear logic, first-order arithmetic and second-order logic. In each case the authors illustrate the methods in relatively simple ...

ISBN10: 0521779111, ISBN13: 9780521779111, [publisher: Cambridge University Press] Softcover New! This book is in the same immaculate condition as when it was published
[Tucson, AZ, U.S.A.] [Publication Year: 2000]

Paperback / softback. New. 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. ISBN 0521779111 9780521779111 [GB]

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

ISBN10: 0521779111, ISBN13: 9780521779111, [publisher: Cambridge University Press] Softcover
[Dallas, TX, U.S.A.] [Publication Year: 2000]

ISBN10: 0521779111, ISBN13: 9780521779111, [publisher: Cambridge University Press] Softcover Book is in Used-LikeNew condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear.
[Hawthorne, CA, U.S.A.] [Publication Year: 2000]

ISBN10: 0521779111, ISBN13: 9780521779111, [publisher: Cambridge University Press] Softcover Buy with confidence! Book is in acceptable condition with wear to the pages, binding, and some marks within
[Amherst, NY, U.S.A.] [Publication Year: 2000]

ISBN10: 0521779111, ISBN13: 9780521779111, [publisher: Cambridge University Press] Softcover Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting.
[Hawthorne, CA, U.S.A.] [Publication Year: 2000]

Cambridge Univ Pr, Date: 2000. Paperback. New. 2nd sub edition. 417 pages. 8.75x6.00x0.75 inches. 2000. Cambridge Univ Pr ISBN 0521779111 9780521779111 [GB]

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.

Cambridge University Press. Used - Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects. Cambridge University Press ISBN 0521779111 9780521779111 [US]

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.