Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your email address or mobile phone number.
Download to your computer
Kindle Cloud Reader

Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems 1st Edition

by Rene Cori (Author), Daniel Lascar (Author), Donald H. Pelletier (Translator)
4 out of 5 stars 1 customer review
ISBN-13: 978-0198500483
ISBN-10: 0198500483
Why is ISBN important?
ISBN
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Sell yours for a Gift Card
We'll buy it for $11.72
Learn More
Trade in now
Have one to sell? Sell on Amazon

Sorry, there was a problem.

There was an error retrieving your Wish Lists. Please try again.

Sorry, there was a problem.

List unavailable.
Facebook Twitter Pinterest
Buy used On clicking this link, a new layer will be open
$38.01 On clicking this link, a new layer will be open
Buy new On clicking this link, a new layer will be open
$70.00 On clicking this link, a new layer will be open
More Buying Choices
20 New from $70.00 21 Used from $38.01
41 used & new from $38.01
See All Buying Options
Free Two-Day Shipping for College Students with Amazon Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

Lab Girl by Hope Jahren
Armchair Scientists
Plants are more alive than you think they are. Science is done differently than you think. Both of these things matter a lot. Learn more | See related books

Frequently Bought Together

  • Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
  • +
  • Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II)
Total price: $140.00
Buy the selected items together

Customers Who Bought This Item Also Bought

Page 1 of 1 Start overPage 1 of 1
This shopping feature will continue to load items. In order to navigate out of this carousel please use your heading shortcut key to navigate to the next or previous heading.
Back
  1. Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II)
    Rene Cori
    Paperback
    $70.00 Prime
  2. Real Mathematical Analysis (Undergraduate Texts in Mathematics)
    Charles C. Pugh
    1.0 out of 5 stars 1
    Hardcover
    $59.99 Prime
  3. Introduction to Analytic Number Theory (Undergraduate Texts in Mathematics)
    Tom M. Apostol
    5.0 out of 5 stars 11
    Hardcover
    $65.47 Prime
  4. Complex Analysis (Undergraduate Texts in Mathematics)
    THEODORE GAMELIN
    4.1 out of 5 stars 24
    Paperback
    $45.96 Prime
  5. Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Its Applications)
    Elliott Mendelson
    3.0 out of 5 stars 5
    Hardcover
  6. Introduction to Logic (Dover Books on Mathematics)
    Patrick Suppes
    4.4 out of 5 stars 11
    Paperback
    $15.95 Prime
Next
NO_CONTENT_IN_FEATURE

Product Details

  • Series: Propositional CA
  • Paperback: 360 pages
  • Publisher: Oxford University Press; 1 edition (November 9, 2000)
  • Language: English
  • ISBN-10: 0198500483
  • ISBN-13: 978-0198500483
  • Product Dimensions: 9.6 x 0.7 x 7.3 inches
  • Shipping Weight: 1.4 pounds (View shipping rates and policies)
  • Average Customer Review: 4.0 out of 5 stars  See all reviews (1 customer review)
  • Amazon Best Sellers Rank: #752,120 in Books (See Top 100 in Books)

    •  Would you like to update product info or give feedback on images?

Customer Reviews

5 star
0%
4 star
100%
3 star
0%
2 star
0%
1 star
0%
See the customer review
Share your thoughts with other customers
Write a customer review

Top Customer Reviews

4.0 out of 5 starsOK but Hard
By A Customer on December 1, 2001
Format: Paperback
You'll find this very hard unless you are a competent math major at one of the better universities. Similar to Elliot Mendelson's text, but not quite as good. Good chapter on Boolean algebra as a
piece of pure math; Halmos and Givant is gentler, though.
Interesting topic covered: the resolution so dear to the AI crowd. Unlike most mathematicians, Cori and Lascar have time for
the way computer scientists think. At the same time, this book does not cover tableau methods (see Smullyan), natural deduction, Genzen's ideas, and so on. For pure logic at the advanced undergrad level, you're better off with Bostock.
Haven't seen Part II, so cannot comment on the treatment of set theory. This is something Mendelson and Machover already do well.
Comment 28 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse

Set up an Amazon Giveaway

Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more
This item: Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Set up a giveaway

What Other Items Do Customers Buy After Viewing This Item?

There's a problem loading this menu right now.

Learn more about Amazon Prime.