Mathematical Logic for Computer Science: 2nd edition

M Ben-Ari

21 valoraciones de Goodreads

Idioma: inglés

Editorial: Springer, 2011

1852333197 / 9781852333195

  • Tapa blanda
  • Usado
Ver todos los detalles

Librería: Optimon Books, Gravesend, Kent, Reino UnidoOptimon Books

Vendedor de 5 estrellas

Vendedor de IberLibro desde 22 de diciembre de 2022

Tapa blanda

Condición: Usado - Bueno

EUR 48,05

Envío por EUR 21,53 
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. In order to provide a balanced treatment of logic, tableaux are related to deductive proof systems. The book presents various logical systems and contains exercises. Still further, Prolog source code is available on an accompanying Web site. The author is an Associate Professor at the Department of Science Teaching, Weizmann Institute of Science. Copyright © Springer.

N° de ref. del artículo 480724

Título
Mathematical Logic for Computer Science: 2nd edition
Autor
M Ben-Ari
Editorial
Springer
Año de publicación
2011
Estado
Very Good
Encuadernación
Paperback
Idioma
inglés
ISBN 10
1852333197
ISBN 13
9781852333195

Optimon Books

Gravesend, Kent, Reino Unido

Vendedor de 5 estrellas

Vendedor de IberLibro desde 22 de diciembre de 2022

Tarifas de envío de Reino Unido a Estados Unidos de America

ArtículoDe 14 a 45 días hábilesDe 5 a 10 días hábiles
Primer artículoEUR 21,53EUR 47,85
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Descripción de la tienda

We sell books on linguistics and entomology, mainly used books in English and German.

Especialidad

Oriental languages, Grammars, Dictionaries