Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Natural Deduction

A Proof-Theoretical Study

Language EnglishEnglish
Book Paperback
Book Natural Deduction Dag Prawitz
Libristo code: 02567037
Publishers Dover Publications Inc., February 2006
1. Natural Deduction of Gentzen-Type 2. The Inversion Principle 3. Normal Deductions in Classical... Full description
? points 20 b
8.39 €
In stock at our supplier Shipping in 9-15 days

30-day return policy

You might also be interested in

First-order Logic Raymond M. Smullyan / Book Paperback
common.buy 9.20 €
Philosophy of Epicurus Epicurus / Book Paperback
common.buy 10.82 €
Principles of Mathematics Bertrand Russell / Book Paperback
common.buy 30.44 €
Introduction to Logic Alfred Tarksi / Book Paperback
common.buy 12.03 €
Top
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems Kurt Godel / Book Paperback
common.buy 9.91 €
Introduction to Symbolic Logic and Its Applications Rudolf Carnap / Book Paperback
common.buy 12.03 €
Adaptive Control Karl J Astrom / Book Paperback
common.buy 25.28 €
God's Pinky Promises Dawn Hood / Book Paperback
common.buy 13.95 €
Catwalking: Photographs by Chris Moore Alexander Fury / Book Hardback
common.buy 88.82 €
Top
Will of the Many James Islington / Book Hardback
common.buy 21.04 €
Top
Introduction to Algorithms, fourth edition Thomas H. Cormen / Book Hardback
common.buy 146.29 €
Top
Dungeons & Dragons Tarot Deck Official Dungeons & Dragons Licensed / Printed items Cards
common.buy 17.80 €
Top
Practical Guide for Healing Developmental Trauma Brad Kammer / Book Paperback
common.buy 19.42 €
Top
Monet. The Triumph of Impressionism Daniel Wildenstein / Book Hardback
common.buy 50.17 €
Top
Laid-Back Camp, Vol. 12 Afro / Book Paperback
common.buy 10.61 €
Top
Muscle Ladder NIPPARD JEFF / Book Hardback
common.buy 45.12 €
Good Arguments Bo Seo / Book Paperback
common.buy 12.23 €
Percy Jackson and the Olympians the Lightning Thief Deluxe Collector's Edition RIORDAN RICK / Book Hardback
common.buy 26.40 €
Top
C1 Advanced 4 Student's Book with Answers with Audio with Resource Bank Cambridge University Press / Book Paperback
common.buy 31.05 €
Top
Mythographic Color and Discover: Wild Winter Joseph Catimbang / Book Paperback
common.buy 14.26 €
Top
Vinland Saga 13 Makoto Yukimura / Book Hardback
common.buy 18.00 €
Top
Dear Self, Patience Tamarra Davis / Book Paperback
common.buy 10.82 €
Top
Harry Potter and the Philosopher's Stone Joanne K. Rowling / Book Hardback
common.buy 37.12 €
Top
Beyond Lemuria Oracle Cards Izzy Ivy / Printed items Cards
common.buy 20.12 €

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

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Natural Deduction
Author Dag Prawitz
Language English
Binding Book - Paperback
Date of issue 2006
Number of pages 113
EAN 9780486446554
ISBN 0486446557
Libristo code 02567037
Publishers Dover Publications Inc.
Weight 144
Dimensions 216 x 141 x 16

Categories

Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Mathematics & Science > Mathematics
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account