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 New Copy. Customer Service Guaranteed
[Denver, CO, U.S.A.] [Publication Year: 2000]

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