Semantic entailment and formal derivability - Beth, Evert Willem, 1908-1964 (Amsterdam : Noord-Hollandsche uitgeversmaatschappij, 1955)