On the Concept of Logical Consequence (1936)

by A Tarski