LOGIC: Types: QUANTUM; Aspects: SET THEORY AXIOMATIZATION: Shelah 2002/11; THE NET ADVANCE OF PHYSICS
LOGIC: