Semantic entailment and formal derivability - Beth, Evert Willem 1908-1964 (Noord-Hollandsche Uitgevers Maatschappij, 1955)