Mathematical Logic for Computer Science
Language: English
Published by Springer, 2012
- Softcover
- Used
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
AbeBooks seller since December 22, 1999
Condition: Used - Good
US$ 37.23
Quantity: 1 available
Add to basketItem description from seller
This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Library sticker on front cover. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9781447141280.
Seller Inventory # 2291120
- Title
- Mathematical Logic for Computer Science
- Author
- Ben-Ari, Mordechai
- Publisher
- Springer
- Publication year
- 2012
- Condition
- Good
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 1447141288
- ISBN 13
- 9781447141280
- Edition
- 3rd Edition
- Item weight
- 650 grams
- Seller catalogs
- Computing
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.
"Synopsis" may belong to another edition of this title.
About the Author
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.
"About the title" may belong to another edition of this title.
Anybook.com
Lincoln, United Kingdom
AbeBooks seller since December 22, 1999
Shipping rates from United Kingdom to U.S.A.
| Item | 5 to 10 business days | 1 to 3 business days |
|---|---|---|
| First item | US$ 17.26 | US$ 42.34 |
Payment methods
Store description
Based in central Lincoln, Anybook Ltd. sells exclusively on line. We specialise in academic works. All our books are in good condition or better, unless otherwise described. We will respond to your enquiry promptly and mail books out within 24 hours of receiving payment. We use Royal Mail and other reputable couriers at greatly discounted postage rates. If you find cheaper postage from the UK, we'll match it. Remember if you are unsatisfied in any way with any purchase, we will give you a complete and unconditional refund. All books are hand wrapped. All e-mails answered personally. All books are offered subject to being unsold.…
Seller's business information
Anybook Ltd.
28 West End,, Burgh le Marsh,
Lincolnshire, United Kingdom PE24 5EY
Terms of sale
Anybook Ltd is a company registered in England and Wales. Company Registration Number: 3692291. VAT Number: GB753406145. Share Capital GBP100.
Registered Offices:
28 West End,
Burgh le Marsh,
Lincolnshire,
PE24 5EY
UK
Customer Services:
2,Outer Circle Business Park,
Outer Circle Road,
Lincoln
LN2 4HX
UK
Email Address: sales@anybook.com
Telephone Number: +44 (0) 115 888 2269
Authorized Representative: Ms. Claire Williams
Shipping terms
Orders usually ship within 1 business day. We use Royal Mail and other reputable couriers at greatly discounted postage rates. If your book order is heavy or over-sized, or valuable enough to require tracking, we may contact you to let you know extra shipping is required.