Cargando…

Concepts of proof in mathematics, philosophy, and computer science /

This book 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 aims to do justice to the breadth...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Probst, Dieter, 1973- (Editor ), Schuster, Peter, 1967- (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin : De Gruyter, [2016]
Colección:Ontos mathematical logic ; v. 6.
Temas:
Acceso en línea:Texto completo

Ejemplares similares