TY - BOOK AU - Veldman,Wim TI - Winning infinite games intuitionistically T2 - Report 9110 AV - QA3.R46 PY - 1991/// CY - Nijmegen PB - : Catholic University, Department of Mathematics KW - Intuitionistic mathematics KW - Infinite KW - Game theory N1 - Includes bibliographical references ER -