100% PP 100%25%20PP
   4,491.00 + FREE Delivery
  • M.R.P.:    5,299.00
  • You Save:    808.00 (15%)
  • Inclusive of all taxes

Pay on Delivery (Cash/Card) eligible
What is this?
What is Pay on Delivery?
Pay on Delivery (POD) includes Cash on Delivery (COD) as well as Debit card / Credit card / Net banking payments at your doorstep.
Sold and fulfilled by B2A UK (4.4 out of 5 | 601 ratings).
List & Earn Rs.250* extra. Available in Bangalore, Mumbai, Chennai, Hyderabad. Sell on Local Finds.
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more.
See all 3 images

Mathematical Logic for Computer Science Paperback – 15 Jun 2012


See all 2 formats and editions Hide other formats and editions
Price
New from
Paperback
   4,491.00
   4,342.00
EMI starts at ₹214 per month. EMI starts at ₹214. No Cost EMI available if you checkout only with this item. Options
EMI (Easy Installments)
  • Pay for your order in equal monthly installments (EMI), using any one of the cards in the table below.
  • Your bank will convert the payment into EMI in 3-4 working days.
  • To make this a No Cost EMI offer, the interest amount will be discounted from the price of your order. Your card will be charged for the item price minus the discounted interest. The total amount you will pay to the bank (excluding GST) will be equal to the price of the item. The bank will charge GST on the interest amount.

Plan

(months)

EMI

(payable to provider)

Annual Interest

(charged by provider)

Total Cost

(payable to provider)

3

₹1,527

12.0%

₹4,581

6

₹775

12.0%

₹4,649

9

₹526

13.0%

₹4,738

12

₹401

13.0%

₹4,813

18

₹280

15.0%

₹5,043

24

₹218

15.0%

₹5,226

Plan

(months)

EMI

(payable to provider)

Annual Interest

(charged by provider)

Total Cost

(payable to provider)

3

₹1,530

13.0%

₹4,589

6

₹777

13.0%

₹4,663

9

₹531

15.0%

₹4,776

12

₹405

15.0%

₹4,864

18

₹280

15.0%

₹5,043

24

₹218

15.0%

₹5,226

Plan

(months)

EMI

(payable to provider)

Annual Interest

(charged by provider)

Total Cost

(payable to provider)

3

₹1,530

13.0%

₹4,589

6

₹777

13.0%

₹4,663

9

₹529

14.0%

₹4,757

12

₹403

14.0%

₹4,839

18

₹280

15.0%

₹5,043

24

₹218

15.0%

₹5,226

Plan

(months)

EMI

(payable to provider)

Annual Interest

(charged by provider)

Total Cost

(payable to provider)

3

₹1,528

12.5%

₹4,585

6

₹776

12.5%

₹4,656

9

₹527

13.5%

₹4,747

12

₹402

13.5%

₹4,826

18

₹277

13.5%

₹4,986

24

₹218

15.0%

₹5,226

Plan

(months)

EMI

(payable to provider)

Annual Interest

(charged by provider)

Total Cost

(payable to provider)

3

₹1,530

13.0%

₹4,589

6

₹777

13.0%

₹4,663

9

₹526

13.0%

₹4,738

12

₹401

13.0%

₹4,813

18

₹280

15.0%

₹5,043

24

₹218

15.0%

₹5,226

Plan

(months)

EMI

(payable to provider)

Annual Interest

(charged by provider)

Total Cost

(payable to provider)

3

₹1,530

13.0%

₹4,589

6

₹777

13.0%

₹4,663

9

₹526

13.0%

₹4,738

12

₹401

13.0%

₹4,813

18

₹280

15.0%

₹5,043

24

₹218

15.0%

₹5,226

Plan

(months)

EMI

(payable to provider)

Annual Interest

(charged by provider)

Total Cost

(payable to provider)

3

₹1,527

12.0%

₹4,581

6

₹775

12.0%

₹4,649

9

₹529

14.0%

₹4,757

12

₹403

14.0%

₹4,839

18

₹280

15.0%

₹5,043

24

₹218

15.0%

₹5,226

Plan

(months)

EMI

(payable to provider)

Annual Interest

(charged by provider)

Total Cost

(payable to provider)

3

₹1,530

13.0%

₹4,589

6

₹777

13.0%

₹4,663

9

₹526

13.0%

₹4,738

12

₹401

13.0%

₹4,813

18

₹276

13.0%

₹4,967

24

₹214

13.0%

₹5,124

Plan

(months)

EMI

(payable to provider)

Annual Interest

(charged by provider)

Total Cost

(payable to provider)

3

₹1,532

14.0%

₹4,596

6

₹779

14.0%

₹4,676

9

₹529

14.0%

₹4,757

12

₹403

14.0%

₹4,839

Plan

(months)

EMI

(payable to provider)

Annual Interest

(charged by provider)

Total Cost

(payable to provider)

3

₹1,530

13.0%

₹4,589

6

₹777

13.0%

₹4,663

9

₹529

14.0%

₹4,757

12

₹403

14.0%

₹4,839

18

₹280

15.0%

₹5,043

24

₹218

15.0%

₹5,226

Plan

(months)

EMI

(payable to provider)

Annual Interest

(charged by provider)

Total Cost

(payable to provider)

3

₹1,527

12.0%

₹4,581

6

₹775

12.0%

₹4,649

9

₹526

13.0%

₹4,738

12

₹401

13.0%

₹4,813

18

₹278

14.0%

₹5,005

24

₹218

15.0%

₹5,226

About *NoCost: The bank will continue to charge interest on EMI as per existing rates. However, the interest to be charged by the bank will be passed on to you as an upfront discount.
Good to know
  • Total Cost shown above does not include shipping charges.
  • EMI providers may charge you pre-closure or other charges when you cancel/return an EMI order.
  • Click here to read EMI FAQs.
click to open popover

Product description

Review

Asst. Prof. Manoj Raut, Dhirubhai Ambani Institute of Information and Communication Technology, India Excerpts from full review posted Jan 15 2013 to Computing Reviews [Review #: CR140831] I have used the second edition of this book for my class. I find this new third edition more interesting and more elaborately written; I like it very much, and applaud the author for his work.

From the Back Cover

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.

The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic for the verification of concurrent programs.

The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.

There are 150 exercises with answers available to qualified instructors.

Documented, open-source, Prolog source code for the algorithms is available at http://code.google.com/p/mlcs/

Mordechai (Moti) Ben-Ari is with the Department of Science Teaching at the Weizmann Institute of Science. He is a Distinguished Educator of the ACM and has received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education. His other textbooks published by Springer are: Ada for Software Engineers (Second Edition) and Principles of the Spin Model Checker.

See all Product description

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

To get the free app, enter mobile phone number.



Product details

  • Paperback: 346 pages
  • Publisher: Springer London Ltd; 3rd ed. 2012 edition (15 June 2012)
  • Language: English
  • ISBN-10: 1447141288
  • ISBN-13: 978-1447141280
  • Product Dimensions: 15.5 x 2.1 x 23.5 cm
  • Average Customer Review: Be the first to review this item
  • Amazon Bestsellers Rank: #4,62,213 in Books (See Top 100 in Books)
  • Would you like to tell us about a lower price?
    If you are a seller for this product, would you like to suggest updates through seller support?


Customer reviews

There are no customer reviews yet.
Share your thoughts with other customers

Most helpful customer reviews on Amazon.com

Amazon.com: 4.6 out of 5 stars 2 reviews
Alan U. Kennington
5.0 out of 5 starsLucid presentation of propositional and first-order logic
5 April 2017 - Published on Amazon.com
Verified Purchase
3 people found this helpful.
Native of Neptune
4.0 out of 5 starsA terrific new 3rd edition of M. Ben-Ari's logic text
28 September 2012 - Published on Amazon.com
Verified Purchase
21 people found this helpful.

Where's My Stuff?

Delivery and Returns

Need Help?