Διαθέσιμο κατόπιν παραγγελίας
Αποστέλλεται την ίδια ή την επόμενη εργάσιμη
ISBN:
9786185076184
Κατηγορίες:
Έτος κυκλοφορίας
Εκδότης
Ο Ζιλ Ντοβέκ είναι μαθηματικός, λογικός και πληροφορικός, ερευνητής στο INRIA και καθηγητής στην Εcole Polytechnique. Το ενδιαφέρον του στρέφεται κυρίως στη θεωρία τύπων, τη συνολοθεωρία, τη θεωρία αποδείξεων, τις γλώσσες προγραμματισμού καθώς και στη φιλοσοφία των επιστημών. Για το βιβλίο "Οι μεταμορφώσεις του λογισμού" βραβεύτηκε με το Μεγάλο Βραβείο Φιλοσοφίας της Γαλλικής Ακαδημίας, το 2007.
Δείτε όλα τα βιβλία του συγγραφέα