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 te garantiza el estado del libro seg�n se indica en la p�gina web de AbeBooks.
Aceptamos el pago con targeta de credito,tranferencia bancaria Paypal
Los pedidos Nacionales son entregados en 24/48 horas.Los env�os internacionales pueden tardar entre 4 y 6 d�as.
Los libros podr�n ser devuelto dentro de los 30 d�as siguientes a la compra Si desea realizar cualquier consulta, solo tiene que ponerse en contacto con nosotros, ese mismo d�a puede quedar resuelta

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	US$ 58.26	US$ 87.39

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.