Title: Two papers on symbolic logic ...
First published: 1955
Subjects: Symbolic and mathematical Logic
LC classification: BC135 H56