TY  - BOOK
AU  - Mints,Grigori E.
AU  - Muskens,Reinhard
TI  - Games, logic, and constructive sets
T2  - CSLI lecture notes
SN  - 1575864495 (papel alcalino)
AV  - BC135 G345
U1  - 160 22
PY  - 2003///
CY  - Stanford, California
PB  - CSLI
KW  - Lógica simbólica y matemática
KW  - Teoría de los juegos
KW  - Constructibilidad (Teoría de conjuntos)
ER  -