Author

Many topical tasks of logical analysis, such as forming and testing hypotheses or searching for inconsistencies in reasoning, are often outside the scope of standard logic courses. This book demonstrates two simple mathematical systems that model reasoning and solve these tasks.