Open menu
ILC 2007 (2007 Cape Town, South Africa)
Infinity in logic and computation