Book

Games, Logic, and Constructive Sets

by Grigori Mints, Reinhard Muskens