This book covers various types of formulas, axiomatic and natural formation methods, and metamathematical properties. Learn about atomic formulas, compound formulas, and quantified formulas