First-Order Logic and Automated Theorem Proving - Texts in Computer Science - Melvin Fitting - Libros - Springer-Verlag New York Inc. - 9781461275152 - 26 de junio de 2013
En caso de que portada y título no coincidan, el título será el correcto

Melvin Fitting
First-Order Logic and Automated Theorem Proving - Texts in Computer Science 2nd ed. 1996. Softcover reprint of the original 2n edition

Precio
$ 94,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 - 29 de jun.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues.

343 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 26 de junio de 2013
ISBN13 9781461275152
Editores Springer-Verlag New York Inc.
Páginas 326
Dimensiones 244 × 170 × 22 mm   ·   553 g
Lengua Inglés  

Mas por Melvin Fitting

Mostrar todo

Ver todo de Melvin Fitting ( Ej. Paperback Book y Hardcover Book )