Mathematical Logic and Computation
De (autor): Jeremy Avigad
Avigad, Jeremy: - Jeremy Avigad is Professor in the Department of Philosophy and the Department of Mathematical Sciences at Carnegie Mellon University. His research interests include mathematical logic, formal verification, automated reasoning, and the philosophy and history of mathematics. He is the Director of the Charles C. Hoskinson Center for Formal Mathematics at Carnegie Mellon University.
-15%
transport gratuit
PRP: 543.91 Lei

Acesta este Pretul Recomandat de Producator. Pretul de vanzare al produsului este afisat mai jos.
462.32Lei
462.32Lei
543.91 LeiPrimesti 462 puncte

Primesti puncte de fidelitate dupa fiecare comanda! 100 puncte de fidelitate reprezinta 1 leu. Foloseste-le la viitoarele achizitii!
Livrare in 2-4 saptamani
X
Pentru a putea comanda rapid este nevoie sa introduceti numarul dvs de telefon in formatul 0xxxxxxxxx (10 cifre).Un operator Libris.ro va suna si va cere telefonic restul datelor necesare.
Descrierea produsului
Avigad, Jeremy: - Jeremy Avigad is Professor in the Department of Philosophy and the Department of Mathematical Sciences at Carnegie Mellon University. His research interests include mathematical logic, formal verification, automated reasoning, and the philosophy and history of mathematics. He is the Director of the Charles C. Hoskinson Center for Formal Mathematics at Carnegie Mellon University.
Detaliile produsului
S-ar putea sa-ti placa si
Parerea ta e inspiratie pentru comunitatea Libris!