Atlas home || Conferences | Abstracts | about Atlas
Host: Southwest China Normal University
Homepage: http://www.icm2002.org.cn
Description:
Recursion Theory, Set Theory, Model Theory, Proof Theory and
non-classical Logic, Computer Science
Date received: November 13, 2001
© 2008 Atlas Conferences Inc.