Mathematical logic and computation

von Avigad, Jeremy
Veröffentlicht 2023

˜Theœ concept of "character" in Dirichlet's theorem on primes in an arithmetic progression

von Avigad, Jeremy
Veröffentlicht in Archive for history of exact sciences / ed. by C. Truesdell (2014)

<<The>> philosophy of mathematical practice

Veröffentlicht 2008

Interactive theorem proving : 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings

Veröffentlicht 2018