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.

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 this title" may belong to another edition of this title.

Store Description

Todos nuestros art�culos son de librer�as o descatalogados de editoriales eso hace que la mayoria de nuestros libros esten como nuevos.

Visit Seller's Storefront

Seller's business information

NUEVO CL. SLU
CALLE GRANDA,6, SANT ANDREU DE LA BARCA, 08740, Spain

Sale & Shipping Terms

Terms of Sale

Casa de Libros guarantees the condition of the book as indicated on the AbeBooks website.
We accept payment by credit card, bank transfer Paypal
National orders are delivered in 24/48 hours. International shipments can take between 4 and 6 days.
The books can be returned within 30 days of purchase. If you have any questions, you just have to contact us, that same day it can be resolved

Right of cancellation

Shipping Terms

Los gastos de env�o est�n calculados sobre un peso estimado de 1 KG por libro. Si comprobamos que el peso real es demasiado grande, nos pondremos en contacto con usted para comunicarle que gasto de env�o adicional es requerido. Las tarifas internacionales son validas para pedidos que no superen 2 kg
Espa�a Peninsular
Gastos de env�o de 4,00 euros con n�mero de seguimiento de 2 a 3 d�as
Europa (excepto Espa�a)
Todos los env�os son certificados con n�mero de seguimiento
De 3 a 7 d�as ........... 16€
Resto del mundo
Todos los env�os son certificados con n�mero de seguimiento
De 10 a15 d�as ......... 28 €

Shipping rates from Spain to U.S.A.

Shipping rates from Spain to U.S.A.
Order quantity	10 to 16 business days	9 to 15 business days
First item	� 43.44	� 65.15

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.