Title: Finite mathematical systems
First published: 1966