Prawitz: Natural Deduction: A Proof-Theoretical Study (Dover Publications, 2006)

Dactyl Books
(2109)
PrivateRegistered as a private seller
Consumer protection regulations resulting from EU consumer law are therefore not applicable. eBay buyer protection still applies to most purchases.
Seller's other items
Contact seller
US $6.49
Approximately£4.87
or Best Offer
Condition:
Very Good
“* See full item description for details. *”
Breathe easy. Returns accepted.
Postage:
US $4.47 (approx £3.35) USPS Media MailTM.
Located in: Liberty, Missouri, United States
Delivery:
Estimated between Thu, 11 Dec and Mon, 15 Dec to 94104
Delivery time is estimated using our proprietary method which is based on the buyer's proximity to the item location, the delivery service selected, the seller's delivery history and other factors. Delivery times may vary, especially during peak periods.
Returns:
30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Payments:
    Diners Club

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
Seller assumes all responsibility for this listing.
eBay item number:264713571003
Last updated on 27 Nov, 2025 22:12:39 GMTView all revisionsView all revisions

Item specifics

Condition
Very Good
A book that has been read and does not look new, but is in excellent condition. No obvious damage to the book cover, with the dust jacket (if applicable) included for hard covers. No missing or damaged pages, no creases or tears, no underlining or highlighting of text, and no writing in the margins. Some identifying marks on the inside cover, but this is minimal. Very little wear and tear. See the seller’s listing for full details and description of any imperfections. See all condition definitionsopens in a new window or tab
Seller notes
“* See full item description for details. *”
Country of Origin
United States
ISBN
9780486446554
Category

About this product

Product Identifiers

Publisher
Dover Publications, Incorporated
ISBN-10
0486446557
ISBN-13
9780486446554
eBay Product ID (ePID)
46883232

Product Key Features

Number of Pages
128 Pages
Publication Name
Natural Deduction : a Proof-Theoretical Study
Language
English
Subject
Logic
Publication Year
2006
Type
Textbook
Subject Area
Mathematics, Philosophy
Author
Dag Prawitz
Series
Dover Books on Mathematics Ser.
Format
Perfect

Dimensions

Item Height
0.3 in
Item Weight
5.7 Oz
Item Length
7.7 in
Item Width
6 in

Additional Product Features

Intended Audience
College Audience
LCCN
2005-051968
Dewey Edition
22
Illustrated
Yes
Dewey Decimal
160
Table Of Content
1. Natural Deduction of Gentzen-Type 2. The Inversion Principle 3. Normal Deductions in Classical Logic 4. Normal Deductions in Intuitionistic Logic 5. Second Order Logic 6. Modal Logic 7. Some Other Concepts of Implication Appendix A. The Calculi of Sequents Appendix B. On a set theory by Fitch Appendix C. Notes on some other variants of natural deduction Bibliographical References Index Index of Symbols
Synopsis
Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition., An innovative approach to the semantics of logic, proof-theoretic semantics seeks the meaning of propositions and logical connectives within a system of inference. Gerhard Gentzen invented proof-theoretic semantics in the early 1930s, and Dag Prawitz, the author of this study, extended its analytic proofs to systems of natural deduction. Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The concept of natural deduction follows a truly natural progression, establishing the relationship between a noteworthy systematization and the interpretation of logical signs. As this survey explains, the deduction's principles allow it to proceed in a direct fashion -- a manner that permits every natural deduction's transformation into the equivalent of normal form theorem. A basic result in proof theory, the normal form theorem was established by Gentzen for the calculi of sequents. The proof of this result for systems of natural deduction is in many ways simpler and more illuminating than alternative methods. This study offers clear illustrations of the proof and numerous examples of its advantages., Prawitz''s theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition.
LC Classification Number
BC71.P68 2006

Item description from the seller

About this seller

Dactyl Books

100% positive Feedback•936 items sold

Joined Feb 2008
Usually responds within 24 hours
Registered as a private sellerThereby, consumer rights stemming from EU consumer protection law do not apply. eBay buyer protection still applies to most purchases.
Thanks for visiting Dactyl Books. I am a long-time bookseller specialising in literature, detective stories, the sciences, and history. Please take a look around as I build my listings!
Visit shopContact

Detailed seller ratings

Average for the last 12 months
Accurate description
5.0
Reasonable postage cost
4.9
Delivery time
5.0
Communication
5.0

Popular categories from this shop

See allcategories
BooksCoins Medallions & BullionComics & Graphic NovelsGifts & MiscellanyMagazine Back IssuesMovies & TelevisionMusic & RecordingsNatural History CollectiblesToys & Games

Seller Feedback (449)

All ratingsselected
Positive
Neutral
Negative
  • s***l (5)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    Book received clearly packaged with great care. Clean cover with no creases. Like-new book for a great used price. Excited to dive in. Seller was prompt and professional. Will go back to seller next time I’m looking for books.
    LEIGGI: Vertebrate Paleontological Techniques, Vol 1 (Cambridge Univ Pr, 2004) (#267196274883)
  • t***6 (28)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    Great experience. I ordered a luxury hardcover for which the condition of the book is important and the packing was great and the item was as described. I asked questions during the process and the seller was responsive and helpful. I would definitely buy again from this seller
    PARMET: Kennedy: Jack/Presidency (Two-Volume Set) (Lib of Pres) (Easton, 1986) (#267087637499)
  • -***a (34)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    Thank you William for the book and the kind note! The book is as described and it's a great source of knowledge concerning North American Geology. It was very well packaged and arrived within the mentioned times.
    ANDERSON: The Nature & Origin of Cordilleran Magmatism (Geol Soc America, 1990) (#256654310283)
See all Feedback

More to explore: