Margaret Archibald

Infinity in Logic and Computation