Logic, Construction, Computation - Ontos Mathematical Logic - - Libros - De Gruyter - 9783110324532 - 20 de julio de 2012
En caso de que portada y título no coincidan, el título será el correcto

Logic, Construction, Computation - Ontos Mathematical Logic

Precio
$ 223,99
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

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing. This volume contains 20 articles from experts about developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, and Constructive mathematics.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 20 de julio de 2012
ISBN13 9783110324532
Editores De Gruyter
Páginas 542
Dimensiones 150 × 220 × 20 mm   ·   826 g
Lengua Alemán  
Editor Berger, Ulrich
Editor Diener, Hannes
Editor Schuster, Peter
Editor Seisenberger, Monika

Mere med samme udgiver