Verwandte Artikel zu Concepts of Proof in Mathematics, Philosophy, and Computer...

Concepts of Proof in Mathematics, Philosophy, and Computer Science: 6 (Ontos Mathematical Logic) - Softcover

 
9781501502637: Concepts of Proof in Mathematics, Philosophy, and Computer Science: 6 (Ontos Mathematical Logic)
Softcover
ISBN 10: 1501502638 ISBN 13: 9781501502637
Verlag: De Gruyter, 2016

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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 and depth of the subject and presents relevant current conceptions and technical advances featuring 'proof' in those fields.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Dieter Probst, Inst. of Computer Science, U. Bern, Switzerland.Peter Schuster, Dept. of Computer Science, U. Verona, Italy.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
De Gruyter
Erscheinungsdatum
2016
Sprache
Englisch
ISBN 10 
1501502638
ISBN 13 
9781501502637
Einband
Tapa blanda
Anzahl der Seiten
374
Herausgeber
Probst Dieter, Schuster Peter
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

9781501510809: Concepts of Proof in Mathematics, Philosophy, and Computer Science: 6 (Ontos Mathematical Logic, 6)

Vorgestellte Ausgabe

ISBN 10:  1501510800 ISBN 13:  9781501510809
Verlag: De Gruyter, 2016
Hardcover