The purpose of this book is to thoroughly prepare diverse areas of researchers in quantification theory. Unlike many books on quantification theory, the current book places more emphasis on preliminary requisites of mathematical tools than on details of quantification theory.