Abstract
This dissertation investigates the teaching of frst order logic, which is normally taughtfat university level, to A-level students. A serious game, which is a game designed for aspecifc purpose, is developed to teach this topic. Serious games for teaching frst order logic exist, but none are aimed at school-aged students.This project describes the development of the serious game, and evaluates its effectiveness with a group of A-Level students. The game was found to be successful at teaching frst order logic to adults with a range of mathematical backgrounds and to A-level students.This demonstrates the value of serious games and gamifcation in teaching abstract mathematical topics to this user group.