An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof - Applied Logic Series - Peter B. Andrews - Libros - Springer-Verlag New York Inc. - 9781402007637 - 31 de julio de 2002
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 edition

Precio
$ 134,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 is of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.

408 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 31 de julio de 2002
ISBN13 9781402007637
Editores Springer-Verlag New York Inc.
Páginas 390
Dimensiones 160 × 242 × 28 mm   ·   721 g
Lengua Inglés  

Mere med samme udgiver

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