Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often

Considered the best book in the field, this completely self-contained study is both an introduction to quantification theory and an exposition of new results an

This book is a collection of selected research papers presented at the 2023 4th International Conference on Artificial Intelligence in Education Technology (AIE

This is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan. This book is a sequel to my Beginner's Guide to Mathematical