Back to home page
|Listed in category:
|
Add to Watchlist

Picture 1 of 1

Picture 1 of 1
Have one to sell?
Sell it yourself

Proof Theory by K. Sch?tte (English) Paperback Book

grandeagleretail
  • (921178)
  • Registered as a business seller
US $155.38
Approximately£122.67
Condition:
New
3 available
Breathe easy. Returns accepted.
Postage:
Free Economy Shipping. See detailsfor postage
Located in: Fairfield, Ohio, United States
Delivery:
Estimated between Tue, 2 Jul and Sat, 13 Jul to 43230
Estimated delivery dates - opens in a new window or tab reflect seller's dispatch time, origin postcode, destination postcode and time of order receipt, and will depend on the delivery service selected and receipt of cleared paymentcleared payment - opens in a new window or tab. Delivery times may vary, especially during peak periods, and are an estimate only.
Returns:
30 days return. Buyer pays for return postage. See details- for more information about returns
Payments:
     

Shop with confidence

eBay Money Back Guarantee
Get the item you ordered or your money back. Learn moreeBay Money Back Guarantee - opens new window or tab
Report this item - opens in new window or tab
Seller assumes all responsibility for this listing.
eBay item number:364685247805
Last updated on 19 May, 2024 05:34:04 BSTView all revisionsView all revisions

Item specifics

Condition
New: A new, unread, unused book in perfect condition with no missing or damaged pages. See the ...
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
Author
K. Schütte
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

Author
K. Schütte
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
Show contact information
:liamEmoc.liaterelgaednarg@yabe
I certify that all my selling activities will comply with all EU laws and regulations.
grandeagleretail

grandeagleretail

98.3% positive Feedback
2.7M items sold
Visit ShopContact
Joined Sep 2010
Usually responds within 24 hours

Detailed seller ratings

Average for the last 12 months

Accurate description
4.9
Reasonable postage cost
5.0
Delivery time
4.9
Communication
4.9

Popular categories from this shop

See allcategories
The ArtsBiography & True StoriesChildren's & Young AdultComputing & ITEarth Sciences & GeographyFinance, Econ, Business & MgtFictionHealth & Personal DevelopmentHumanities
Registered as a business seller

Seller Feedback (1,025,035)

i***6 (139)- Feedback left by buyer.
Past 6 months
Verified purchase
Item as described, good price, well packaged, arrived slightly later than hoped (not in time for Christmas ) but the order was placed in a very busy shipping period. No issue with the seller’s speed of response and sending the item. Great seller!
Throne of Glass Box Set (Paperback) Book & Merchandise Book (#394683576484)
l***a (3514)- Feedback left by buyer.
Past month
Verified purchase
Excellent seller. Timely shipping, safe packing, good communication, great price and as described. Thank you. A+++
Ranma 1/2 (2-in-1 Edition), Vol. 19: Includes Volumes 37 & 38 by Rumiko Takahash (#395409599045)
i***k (17)- Feedback left by buyer.
Past month
Verified purchase
Great seller with great communication! Item arrived complete, as described and for a good price. There was a bit of an issue with tracking the order at one point (not the seller's fault), but seller was proactive in reaching out to the carrier and myself to get everything back on track. Arrived when expected.
Dungeons & Dragons: Dragonfire Character Pack - Heroes of The Sword Coast - Cata (#364857737796)
See all Feedback

Product ratings and reviews

Learn more
Write a review
No ratings or reviews yet
Be the first to write the review.

More to explore: