A type of abstract arithmetic allied to a Boolean algebra.

From MaRDI portal
Publication:563438