Title: Provability in logic. --
First published: 1957
Subjects: Symbolic and mathematical Logic
LC classification: BC135 .K2