Logic for Applications (Hardcover)

Anil Nerode

6 valoraciones de Goodreads

Idioma: inglés

Editorial: Springer-Verlag New York Inc., New York, NY, 1997

0387948937 / 9780387948935

Serie: Libro 2 de 83 - Texts in Computer Science

Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail

Vendedor de 5 estrellas

Vendedor de IberLibro desde 12 de octubre de 2005

Tapa dura

Condición: Nuevo

EUR 188,63

 Gastos de envío gratis 
Se envía dentro de 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

Hardcover. This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered thoroughly: syntax, semantics, completeness, and compactness; much of the book deals with less traditional topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic - which are becoming increasingly important in computer science. No previous exposure to logic is assumed and so this will be suitable for upper level undergraduates or beginning graduate students in computer science or mathematics.From reviews of the first edition: ".must surely rank as one of the most fruitful textbooks introduced into computer science .We strongly suggest it as a textbook ." SIGACT News This is a first introduction to logic. Its emphasis is on showing how deduction may be viewed as computation and on applications to computer science. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

N° de ref. del artículo 9780387948935

Título
Logic for Applications (Hardcover)
Autor
Anil Nerode
Editorial
Springer-Verlag New York Inc., New York, NY
Año de publicación
1997
Estado
new
Encuadernación
Hardcover
Idioma
inglés
ISBN 10
0387948937
ISBN 13
9780387948935
Edición
2ª Edición
Serie
Libro 2 de 83: Texts in Computer Science

Grand Eagle Retail

Bensenville, IL, Estados Unidos de America

Vendedor de 5 estrellas

Vendedor de IberLibro desde 12 de octubre de 2005

Tarifas de envío en Estados Unidos de America

ArtículoDe 6 a 14 días hábilesDe 6 a 16 días hábiles
Primer artículoEUR 0,00EUR 0,00
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

Información empresarial del vendedor

APOLLO ONLINE CORP.

605 Geddes Street
Wilmington, DE Estados Unidos de America 19805