Concepts of Proof in Mathematics, Philosophy, and Computer Science - Ontos Mathematical Logic -  - Books - De Gruyter - 9781501510809 - July 25, 2016
In case cover and title do not match, the title is correct

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

Price
$ 156.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 28 - Aug 3
Add to your iMusic wish list

Not rated yet

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.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 25, 2016
ISBN13 9781501510809
Publishers De Gruyter
Pages 384
Dimensions 150 × 220 × 20 mm   ·   683 g
Language English  
Editor Probst, Dieter
Editor Schuster, Peter

More from the same publisher