Mathematical Logic and Computation
Mathematical Logic and Computation
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.
543.91Lei
543.91Lei
Primești 543 puncte
Livrare in 2-4 saptamani
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
