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

Name: Concepts of Proof in Mathematics, Philosophy, and Computer Science - Ontos Mathematical Logic
Price: 153.49 EUR
Availability: OutOfStock

Cena

€ 153,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 30. sept. - . gada 8. okt.

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

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.

Mediji	Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku)
Izlaists	2016. gada 25. jūlijs
ISBN13	9781501510809
Izdevēji	De Gruyter
Lapas	384
Izmēri	150 × 220 × 20 mm · 683 g
Valoda	Angļu
Redaktors	Probst, Dieter
Redaktors	Schuster, Peter