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

Dactyl Books
(2090)
Seller's other items
Contact seller
US $6.49
ApproximatelyS$ 8.44
or Best Offer
Condition:
Very Good
“* See full item description for details. *”
Breathe easy. Returns accepted.
Shipping:
US $4.47 (approx S$ 5.82) USPS Media MailTM.
Located in: Liberty, Missouri, United States
Delivery:
Estimated between Thu, 13 Nov and Mon, 17 Nov to 94104
Delivery time is estimated using our proprietary method which is based on the buyer's proximity to the item location, the shipping service selected, the seller's shipping history, and other factors. Delivery times may vary, especially during peak periods.
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Seller assumes all responsibility for this listing.
eBay item number:264713571003
Last updated on Oct 28, 2025 05:17:01 SGTView all revisionsView all revisions

Item specifics

Condition
Very Good
A book that has been read but is in excellent condition. No obvious damage to the cover, with the dust jacket included for hard covers. No missing or damaged pages, no creases or tears, and no underlining/highlighting of text or writing in the margins. May be very minimal identifying marks on the inside cover. Very minimal wear and tear. 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•928 items sold

Joined Feb 2008
Usually responds within 24 hours
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 storeContact

Detailed Seller Ratings

Average for the last 12 months
Accurate description
5.0
Reasonable shipping cost
4.9
Shipping speed
5.0
Communication
5.0

Popular categories from this store

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

Seller feedback (445)

All ratingsselected
Positive
Neutral
Negative
  • 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)
  • 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)
  • -***a (33)- 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