Advances in Proof Theory (Progress in Computer Science and Applied Logic)
Language: English
Published by Springer (India) Private Limited, 2016
- Hardcover
- New
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
4-star seller
AbeBooks seller since November 22, 2018
Hardcover
Condition: New
US$ 179.31
US$ 3.99 shipping
Ships within U.S.A.
Quantity: 4 available
Add to basketFree 30-day returns
Item description from seller
pp. 425.
Seller Inventory # 26375076242
- Title
- Advances in Proof Theory (Progress in Computer Science and Applied Logic)
- Publisher
- Springer (India) Private Limited
- Publication year
- 2016
- Condition
- New
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 3319291963
- ISBN 13
- 9783319291963
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium “Advances in Proof Theory”, which was held in Bern in December 2013.
"Synopsis" may belong to another edition of this title.
From the Back Cover
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium “Advances in Proof Theory”, which was held in Bern in December 2013.
"About the title" may belong to another edition of this title.
Books Puddle
Woodside, NY, U.S.A.
4-star seller
AbeBooks seller since November 22, 2018
Shipping rates within U.S.A.
| Item | 12 to 19 business days | 12 to 14 business days |
|---|---|---|
| First item | US$ 3.99 | US$ 6.99 |
Payment methods
Store description
I mainly carry imported books from South East Asia / South Asia for readers of all Age Groups.
Specialty
South Asian and South East Asian Culture, Religion, Art etcSeller's business information
PLETOS INC
6931 51st Avenue, WOODSIDE
Woodside, NY U.S.A. 11377
Terms of sale
We accept return for those books which are received damaged. Though we take appropriate care in packing to avoid such situation.