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
$ 92,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 26 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Peter B. Andrews

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

Aún no valorado

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

Más del mismo editor

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