Semantic entailment and formal derivability / - Beth, Evert Willem, (Noord-Hollandsche uitgeversmaatschappij,, 1955)