This book uses algebraic tools to study the elementary properties of classes of fields and related algorithmic problems. The first part covers foundational material on infinite Galois theory, profinite groups, algebraic function fields in one variable and plane curves. It provides complete and elementary proofs of the Chebotarev density theorem and the Riemann hypothesis for function fields, together with material on ultraproducts, decision procedures,...