Finite and algorithmic model theory

LAAW01

9 January 2006 to 13 January 2006

Isaac Newton Institute

Supported By