Title: Semantic entailment and formal derivability
First published: 1955
Subjects: Logic, Symbolic and mathematical, Semantics (Philosophy), Symbolic and mathematical Logic
LC classification: AS244 .A512 deel 18, no. 13