- Libreria
- >
- Libri in lingua
- >
- Matematica e scienze
- >
- Filosofia della matematica
Computation, Proof, Machine - 9780521133777
Un libro in lingua di Gilles Dowek Guillot Pierre (TRN) Roman Marion (TRN) edito da Cambridge Univ Pr, 2015
- € 43.10
- Il prezzo è variabile in funzione del cambio della valuta d’origine
Informazioni bibliografiche
- Titolo del Libro in lingua: Computation, Proof, Machine
- Sottotitolo: Mathematics Enters a New Age
- Lingua: English
- Autori : Gilles Dowek Guillot Pierre (TRN) Roman Marion (TRN)
- Editore: Cambridge Univ Pr
- Collana: Cambridge Univ Pr (Paperback)
- Data di Pubblicazione: 31 Maggio '15
- Genere: MATHEMATICS
- Pagine: 152
- ISBN-10: 0521133777
- EAN-13: 9780521133777