A game about first order logic and the inevitable end of all things
Ehrenfeucht–Fraïssé Game for Finite Graphs

Source and More information: Ehrenfeucht–Fraïssé Game for Finite Graphs [Free] [Puzzle]

Author: itch.io