nLab
Thoralf Skolem

category: people