Machine generated authority record

Work cat.: (arssjubce)12562: Diego, Antonio, Two sets of axioms for booleam algebras., 1964.