Proof Theory: Second Edition (Dover Books on Mathematics)

4.33 avg rating
( 3 ratings by Goodreads )
 
9780486490731: Proof Theory: Second Edition (Dover Books on Mathematics)
View all copies of this ISBN edition:
 
 

Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerstone for any library in mathematical logic and related topics.
The three-part treatment begins with an exploration of first order systems, including a treatment of predicate calculus involving Gentzen's cut-elimination theorem and the theory of natural numbers in terms of Gödel's incompleteness theorem and Gentzen's consistency proof. The second part, which considers second order and finite order systems, covers simple type theory and infinitary logic. The final chapters address consistency problems with an examination of consistency proofs and their applications.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Takeuti, Gaisi
ISBN 10: 0486490734 ISBN 13: 9780486490731
New Quantity Available: 5
Seller:
GreatBookPrices
(Columbia, MD, U.S.A.)
Rating
[?]

Book Description Condition: New. Seller Inventory # 18621841-n

More information about this seller | Contact this seller

Buy New
US$ 13.71
Convert currency

Add to Basket

Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

2.

Takeuti, Gaisi
ISBN 10: 0486490734 ISBN 13: 9780486490731
New Quantity Available: > 20
Seller:
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description 2013. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Seller Inventory # V0-9780486490731

More information about this seller | Contact this seller

Buy New
US$ 12.37
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

3.

Takeuti, Gaisi
Published by Dover Publishers
ISBN 10: 0486490734 ISBN 13: 9780486490731
New Quantity Available: > 20
Seller:
INDOO
(Avenel, NJ, U.S.A.)
Rating
[?]

Book Description Dover Publishers. Condition: New. Brand New. Seller Inventory # 0486490734

More information about this seller | Contact this seller

Buy New
US$ 14.13
Convert currency

Add to Basket

Shipping: US$ 3.60
Within U.S.A.
Destination, rates & speeds

4.

Takeuti, Gaisi
ISBN 10: 0486490734 ISBN 13: 9780486490731
New Quantity Available: 1
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description 2013. PAP. Condition: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Seller Inventory # IB-9780486490731

More information about this seller | Contact this seller

Buy New
US$ 14.52
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

5.

Takeuti, Gaisi
Published by Dover Publications
ISBN 10: 0486490734 ISBN 13: 9780486490731
New PAPERBACK Quantity Available: > 20
Seller:
Mediaoutlet12345
(Springfield, VA, U.S.A.)
Rating
[?]

Book Description Dover Publications. PAPERBACK. Condition: New. 0486490734 *BRAND NEW* Ships Same Day or Next!. Seller Inventory # NATARAJB1FI1001063

More information about this seller | Contact this seller

Buy New
US$ 15.36
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

6.

Gaisi Takeuti
Published by Dover Publications Inc., United States (2013)
ISBN 10: 0486490734 ISBN 13: 9780486490731
New Paperback Quantity Available: 1
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description Dover Publications Inc., United States, 2013. Paperback. Condition: New. 2nd ed.. Language: English . Brand New Book. Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerstone for any library in mathematical logic and related topics. The three-part treatment begins with an exploration of first order systems, including a treatment of predicate calculus involving Gentzen s cut-elimination theorem and the theory of natural numbers in terms of Godel s incompleteness theorem and Gentzen s consistency proof. The second part, which considers second order and finite order systems, covers simple type theory and infinitary logic. The final chapters address consistency problems with an examination of consistency proofs and their applications. Seller Inventory # AAC9780486490731

More information about this seller | Contact this seller

Buy New
US$ 22.23
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

Gaisi Takeuti
Published by Dover Publications Inc., United States (2013)
ISBN 10: 0486490734 ISBN 13: 9780486490731
New Paperback Quantity Available: 1
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Dover Publications Inc., United States, 2013. Paperback. Condition: New. 2nd ed.. Language: English . Brand New Book. Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerstone for any library in mathematical logic and related topics. The three-part treatment begins with an exploration of first order systems, including a treatment of predicate calculus involving Gentzen s cut-elimination theorem and the theory of natural numbers in terms of Godel s incompleteness theorem and Gentzen s consistency proof. The second part, which considers second order and finite order systems, covers simple type theory and infinitary logic. The final chapters address consistency problems with an examination of consistency proofs and their applications. Seller Inventory # AAC9780486490731

More information about this seller | Contact this seller

Buy New
US$ 22.67
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

8.

Gaisi Takeuti
Published by Dover Publications Inc., United States (2013)
ISBN 10: 0486490734 ISBN 13: 9780486490731
New Paperback Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description Dover Publications Inc., United States, 2013. Paperback. Condition: New. 2nd ed.. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerstone for any library in mathematical logic and related topics. The three-part treatment begins with an exploration of first order systems, including a treatment of predicate calculus involving Gentzen s cut-elimination theorem and the theory of natural numbers in terms of Godel s incompleteness theorem and Gentzen s consistency proof. The second part, which considers second order and finite order systems, covers simple type theory and infinitary logic. The final chapters address consistency problems with an examination of consistency proofs and their applications. Seller Inventory # BTE9780486490731

More information about this seller | Contact this seller

Buy New
US$ 24.03
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

9.

Gaisi Takeuti
Published by Dover Publications (2013)
ISBN 10: 0486490734 ISBN 13: 9780486490731
New Softcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Dover Publications, 2013. Condition: New. book. Seller Inventory # M0486490734

More information about this seller | Contact this seller

Buy New
US$ 27.01
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

10.

Takeuti
Published by Dover Publications Inc. (2013)
ISBN 10: 0486490734 ISBN 13: 9780486490731
New Softcover Quantity Available: 5
Seller:
Rating
[?]

Book Description Dover Publications Inc., 2013. Condition: New. Seller Inventory # TV9780486490731

More information about this seller | Contact this seller

Buy New
US$ 24.75
Convert currency

Add to Basket

Shipping: US$ 3.20
From Germany to U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book