On the concept of logical consequence (1936)

by A Tarski
Venue:Logic, Semantics, Meta-mathematics