Picture 1 of 1
Proof Theory by K. Sch?tte (English) Paperback Book
Condition:
3 available
Price:
US $155.38
ApproximatelyEUR 145.38
- Buy it nowProof Theory by K. Sch?tte (English) Paperback Book
Postage:
Located in: Fairfield, Ohio, United States
Delivery:
Estimated between Wed, 3 Jul and Mon, 15 Jul to 43230
Returns:
Payments:
Shop with confidence
Seller information
- 98.3% positive Feedback
Registered as a business seller
Seller assumes all responsibility for this listing.
eBay item number:364685247805
Item specifics
- Condition
- ISBN-13
- 9783642664755
- Book Title
- Proof Theory
- ISBN
- 9783642664755
- Subject Area
- Mathematics
- Publication Name
- Proof Theory
- Item Length
- 9.6 in
- Publisher
- Springer Berlin / Heidelberg
- Subject
- General, Logic
- Publication Year
- 2011
- Series
- Grundlehren Der Mathematischen Wissenschaften Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Height
- 0.3 in
- Item Width
- 6.7 in
- Item Weight
- 19.6 Oz
- Number of Pages
- Xii, 302 Pages
About this product
Product Information
This book was originally intended to be the second edition of the book "Beweis theorie" (Grundlehren der mathematischen Wissenschaften, Band 103, Springer 1960), but in fact has been completely rewritten. As well as classical predicate logic we also treat intuitionistic predicate logic. The sentential calculus properties of classical formal and semiformal systems are treated using positive and negative parts of formulas as in the book "Beweistheorie". In a similar way we use right and left parts of formulas for intuitionistic predicate logic. We introduce the theory of functionals of finite types in order to present the Gi:idel interpretation of pure number theory. Instead of ramified type theory, type-free logic and the associated formalization of parts of analysis which we treated in the book "Beweistheorie", we have developed simple classical type theory and predicative analysis in a systematic way. Finally we have given consistency proofs for systems of lI~-analysis following the work of G. Takeuti. In order to do this we have introduced a constni'ctive system of notation for ordinals which goes far beyond the notation system in "Beweistheorie".
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
364266475x
ISBN-13
9783642664755
eBay Product ID (ePID)
10038587615
Product Key Features
Publication Name
Proof Theory
Format
Trade Paperback
Language
English
Subject
General, Logic
Publication Year
2011
Series
Grundlehren Der Mathematischen Wissenschaften Ser.
Type
Textbook
Subject Area
Mathematics
Number of Pages
Xii, 302 Pages
Dimensions
Item Length
9.6 in
Item Height
0.3 in
Item Width
6.7 in
Item Weight
19.6 Oz
Additional Product Features
Series Volume Number
225
Number of Volumes
1 Vol.
Lc Classification Number
Qa1-939
Copyright Date
1977
Target Audience
Scholarly & Professional
Dewey Decimal
511/.3
Illustrated
Yes
Item description from the seller
Business seller information
Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
I certify that all my selling activities will comply with all EU laws and regulations.
Seller assumes all responsibility for this listing.
eBay item number:364685247805
Postage and packaging
Item location:
Fairfield, Ohio, United States
Posts to:
Afghanistan, Albania, Algeria, Andorra, Angola, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Australia, Austria, Azerbaijan Republic, Bahamas, Bahrain, Bangladesh, Belgium, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia and Herzegovina, Botswana, Brazil, British Virgin Islands, Brunei Darussalam, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Canada, Cape Verde Islands, Cayman Islands, Central African Republic, Chad, Chile, China, Colombia, Comoros, Cook Islands, Costa Rica, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominica, Dominican Republic, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Falkland Islands (Islas Malvinas), Fiji, Finland, France, Gabon Republic, Gambia, Georgia, Germany, Ghana, Gibraltar, Greece, Greenland, Grenada, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Iraq, Ireland, Israel, Italy, Jamaica, Japan, Jersey, Jordan, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Laos, Latvia, Lebanon, Lesotho, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Macedonia, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Mauritania, Mauritius, Mayotte, Mexico, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Mozambique, Namibia, Nauru, Nepal, Netherlands, Netherlands Antilles, New Zealand, Nicaragua, Niger, Nigeria, Niue, Norway, Oman, Pakistan, Paraguay, Peru, Philippines, Poland, Portugal, Qatar, Republic of Croatia, Republic of the Congo, Romania, Rwanda, Saint Helena, Saint Kitts-Nevis, Saint Lucia, Saint Pierre and Miquelon, Saint Vincent and the Grenadines, San Marino, Saudi Arabia, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, Somalia, South Africa, South Korea, Spain, Sri Lanka, Suriname, Svalbard and Jan Mayen, Swaziland, Sweden, Switzerland, Taiwan, Tajikistan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turkey, Turkmenistan, Turks and Caicos Islands, Tuvalu, Uganda, United Arab Emirates, United Kingdom, Uruguay, Uzbekistan, Vanuatu, Vatican City State, Vietnam, Wallis and Futuna, Western Sahara, Worldwide, Yemen, Zambia, Zimbabwe
Excludes:
APO/FPO, Alaska/Hawaii, Barbados, Belarus, French Guiana, French Polynesia, Guadeloupe, Libya, Martinique, New Caledonia, Panama, Papua New Guinea, Reunion, Russian Federation, US Protectorates, Ukraine, Venezuela, Western Samoa
| Postage and packaging | Each additional item | To | Service | Delivery*See Delivery notes |
|---|---|---|---|---|
| Free postage | Free | United States | Economy Shipping | Estimated between Wed, 3 Jul and Mon, 15 Jul to 43230 |
| Dispatch time |
|---|
| Will usually dispatch within 10 working days of receiving cleared payment. |
| Taxes |
|---|
| Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases. |
Sales tax for an item #364685247805
Sales tax for an item #364685247805
Seller collects sales tax/VAT for items dispatched to the following states:
| County | VAT rate |
|---|
Returns policy
| After receiving the item, cancel the purchase within | Refund will be given as | Return postage |
|---|---|---|
| 30 days | Money back | Buyer pays for return postage |
The buyer is responsible for return postage costs.
| Return policy details |
|---|
| Returns accepted |
Most Buy It Now purchases are protected by the Consumer Rights Directive, which allow you to cancel the purchase within seven working days from the day you receive the item. Find out more about your rights as a buyer and exceptions.
Payment details
Payment methods
Popular categories from this shop
Registered as a business seller
Seller Feedback (1,025,184)
a***c (1673)- Feedback left by buyer.
Past month
Verified purchase
Quick shipping - as listed. Thanks!
s***h (1496)- Feedback left by buyer.
Past month
Verified purchase
Recieved. Thank you
n***n (2971)- Feedback left by buyer.
Past month
Verified purchase
Arrived on time and as described. Packaged safe and secure
More to explore:
- Paperback Antiquarian & Collectable Books in English Uncorrected Proof,
- Uncorrected Proof Paperback Fiction & Books,
- Paperbacks Books in English,
- Fiction Uncorrected Proof Paperback Fiction & Non-Fiction Books in English,
- Paperback Fiction Books in English,
- Fiction Uncorrected Proof Paperback Fiction & Books,
- Non-Fiction Paperback Fiction & Game Theory Books,
- Paperback Antiquarian & Collectable Books in English,
- Paperback Fiction & Non-Fiction Books in English,
- Paperback Dictionaries & Reference Books in English