Title: Games, Logic, and Constructive Sets
Subjects: Set theory, Game theory, Logic, symbolic and mathematical