Machine generated authority record.
Work cat.: (OSt)19440: Halmos, P.R., Algebraic logic
Powered by Koha