This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then ...
Read More
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. 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. 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.
Read Less
Add this copy of Basic Proof Theory to cart. $20.00, good condition, Sold by Marriott Library Booksale rated 5.0 out of 5 stars, ships from Salt Lake City, UT, UNITED STATES, published 2000 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
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.
Add this copy of Basic Proof Theory (Cambridge Tracts in Theoretical to cart. $27.41, good condition, Sold by ZBK Books rated 4.0 out of 5 stars, ships from Woodland Park, NJ, UNITED STATES, published 2000 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Used book in good and clean conditions. Pages and cover are intact. Limited notes marks and highlighting may be present. May show signs of normal shelf wear and bends on edges. Item may be missing CDs or access codes. May include library marks. Fast Shipping.
Add this copy of Basic Proof Theory, Second Edition (Cambridge Tracts in to cart. $46.25, very good condition, Sold by DM&M Booksellers rated 3.0 out of 5 stars, ships from Rodeo, CA, UNITED STATES, published 2000 by Cambridge University Press.
Add this copy of Basic Proof Theory to cart. $51.93, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2000 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. 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. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Basic Proof Theory to cart. $57.56, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2000 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
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. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
