An Introduction to Mathematical Logic and Type Theory: to Truth Through Proof - Applied Logic Series - Peter B. Andrews - Libros - Springer - 9789048160792 - 9 de diciembre de 2010
En caso de que portada y título no coincidan, el título será el correcto

Peter B. Andrews
An Introduction to Mathematical Logic and Type Theory: to Truth Through Proof - Applied Logic Series 2nd Ed. 2002. Softcover Reprint of the Original 2n edition

Precio
$ 94,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 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:

An introduction to mathematical logic that starts with propositional calculus and first-order logic. It covers topics such as: syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, and, Skolemization.

414 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 9 de diciembre de 2010
ISBN13 9789048160792
Editores Springer
Páginas 414
Dimensiones 156 × 234 × 21 mm   ·   576 g

Mere med samme udgiver

Ver todo de Peter B. Andrews ( Ej. Hardcover Book y Paperback Book )