Computational Logic and Set Theory: Applying Formalized Logic to Analysis - Jacob T. Schwartz - Libros - Springer London Ltd - 9781447160182 - 6 de septiembre de 2014
En caso de que portada y título no coincidan, el título será el correcto

Jacob T. Schwartz
Computational Logic and Set Theory: Applying Formalized Logic to Analysis 2011 edition

Precio
$ 54,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 18 de jun. - 1 de jul.

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

También disponible como:

Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the AEtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.

416 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 6 de septiembre de 2014
ISBN13 9781447160182
Editores Springer London Ltd
Páginas 416
Dimensiones 155 × 235 × 23 mm   ·   607 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Jacob T. Schwartz ( Ej. Hardcover Book y Paperback Book )