First Order Logic

7 Million + Happy Customers

100% Original Products

32 Points Quality Check

First Order Logic

For every 100 Spent,
You earn 1 Bookchor Coins

Highlights

  • 158

    Pages
  • 9780486481500

    ISBN
  • 14 mm

    Width
  • 22 mm

    Height
  • 500 gram

    Weight
  • PAPERBACK

    Binding
  • 1995

    Publish Date

Check Delivery

Enter pincode for exact delivery dates / charges and to know if express delivery is available

    Bookchor Assured

    100% Genuine books.

    The books that you get are completely genuine. The genuinity of the publication and authenticity of the books are individually checked. You will never receive a pirated product.

    Maximum Quality assured

    New books are crisp and fresh just like the ones that you handpick from the physical stores. You will not find a single smudge or scratch even though the book travels all over India for delivery. Even second hand books retain their highest quality.

    Get what you see.

    We take great care in delivering you the perfect book that you see on the website. Book cover, number of pages and book dimensions are exactly the same as mentioned in the book description . For used books we categorize them into ‘Almost New’, ‘Good, and ‘Readable’ - even the ‘readable’ books are of high quality.

    Honest discounts.

    We do not offer discounts just to attract you. The prices of the books are not falsely hiked to lure you into the greed of discounts. We offer flat discounts on MRP. The discount sales run throughout the year.

    Description

    Considered the best book in the field, this completely self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in analytic or cut free methods. The focus in on the tableau point of view. Topics include trees, tableau method for propositional logic, Gentzen systems, more. Includes 144 illustrations. Paperback , 158 pages Published by DOVER EOU TITLES (first published 1968)

    About the Author

    Add authors to get new release updates, plus improved recommendations.

    Raymond M. Smullyan

    Raymond M. Smullyan is a logician, musician, Zen master, puzzle master, and writer.

    Rating & Reviews

    4.0

    7 total
    5
    0
    4
    0
    3
    0
    2
    0
    0