Computational Logic and Set Theory: Applying Formalized Logic to Analysis - Jacob T. Schwartz - Libros - Springer London Ltd - 9780857298072 - 16 de julio de 2011
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

Precio
$ 54,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jun. - 3 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 ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.

417 pages, black & white illustrations

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 16 de julio de 2011
ISBN13 9780857298072
Editores Springer London Ltd
Páginas 416
Dimensiones 166 × 243 × 30 mm   ·   824 g
Lengua Inglés  

Mas por Jacob T. Schwartz

Mostrar todo

Mere med samme udgiver

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