This book is a thorough introduction to the subject, aimed at students with knowledge of functional and complex analysis, topology, measure theory, and group theory. At the core of this text are chapters on Gelfand's theory, regularity and spectral synthesis.