A Short Introduction to Intuitionistic Logic - University Series in Mathematics - Grigori Mints - Libros - Springer-Verlag New York Inc. - 9781475773194 - 26 de abril de 2013
En caso de que portada y título no coincidan, el título será el correcto

Grigori Mints
A Short Introduction to Intuitionistic Logic - University Series in Mathematics Softcover reprint of the original 1st ed. 2002 edition

Precio
$ 158,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:

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.

131 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 26 de abril de 2013
ISBN13 9781475773194
Editores Springer-Verlag New York Inc.
Páginas 131
Dimensiones 155 × 235 × 8 mm   ·   231 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Grigori Mints ( Ej. Hardcover Book y Paperback Book )