Machine generated authority record

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