Jeremy Avigad - Böcker

Visar alla böcker från författaren Jeremy Avigad.
2 produkter
Jeremy Avigad, Pennsylvania) Avigad, Jeremy (Carnegie Mellon University - Mathematical Logic and Computation, Inbunden

Mathematical Logic and Computation

Av Jeremy Avigad, Pennsylvania) Avigad, Jeremy (Carnegie Mellon University

Inbunden, Engelska, 2022

1 159 kr

Skickas inom 7-10 vardagar
Jeremy Avigad, Assia Mahboubi - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

Av Jeremy Avigad, Assia Mahboubi

Häftad, Engelska, 2018

1 309 kr

Skickas inom 7-10 vardagar