Faithin Omaha eBook Collection

Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different wa

Logical Options introduces the extensions and alternatives to classical logic which are most discussed in the philosophical literature: many-sorted logic, secon

Go beyond spreadsheets and tables and design a data presentation that really makes an impact. This practical guide shows you how to use Tableau Software to conv

Leverage the power of visualization in business intelligence and data science to make quicker and better decisions. Use statistics and data mining to make compe

Handbook of Automated Reasoning.