On the concept of logical consequence (1936)

by A Tarski
Venue:409–420, Logic, Semantics, Metamathematics, Papers from