Concepts of Proof in Mathematics, Philosophy, and Computer...

Concepts of Proof in Mathematics, Philosophy, and Computer Science

Dieter Probst, Peter Schuster (eds)
Πόσο σας άρεσε αυτό το βιβλίο;
Ποια είναι η ποιότητα του ληφθέντος αρχείου;
Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του
Ποια είναι η ποιότητα των ληφθέντων αρχείων;
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.
Κατηγορίες:
Έτος:
2016
Εκδότης:
De Gruyter
Γλώσσα:
english
Σελίδες:
374
ISBN 10:
1501510800
ISBN 13:
9781501510809
Σειρές:
Ontos Mathematical Logic, Volume 6
Αρχείο:
PDF, 10.74 MB
IPFS:
CID , CID Blake2b
english, 2016
Διαβάστε online
Η μετατροπή σε βρίσκεται σε εξέλιξη
Η μετατροπή σε απέτυχε

Φράσεις κλειδιά