Computation, Proof, Machine Computation, Proof, Machine
٢٠١٥
A Gentle Course in Local Class Field Theory A Gentle Course in Local Class Field Theory
٢٠١٨