The Gallery
Cylindric algebra
Leon Henkin
1