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
€ 141,99

Pedido desde almacén remoto

Entrega prevista 31 de dic. - 8 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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  

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