Concepts of Proof in Mathematics, Philosophy, and Computer Science - Ontos Mathematical Logic -  - Libros - De Gruyter - 9781501510809 - 25 de julio de 2016
En caso de que portada y título no coincidan, el título será el correcto

Concepts of Proof in Mathematics, Philosophy, and Computer Science - Ontos Mathematical Logic

Precio
$ 160,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jun. - 13 de jul.
Añadir a tu lista de deseos de iMusic

Provides the reader with research arising from the Humboldt-Kolleg 'Proof' held in Bern in fall 2013, which gathered leading experts actively involved with the concept 'proof' in philosophy, mathematics and computer science. This volume presents relevant conceptions and technical advances featuring 'proof' in those fields.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 25 de julio de 2016
ISBN13 9781501510809
Editores De Gruyter
Páginas 384
Dimensiones 150 × 220 × 20 mm   ·   683 g
Lengua Inglés  
Editor Probst, Dieter
Editor Schuster, Peter

Mere med samme udgiver