Semantic entailment and formal derivability. - Beth, Evert Willem. (Noord-Hollandsche Uitg. Mij, 1961)