His most well-known book, The Concept of Logical Consequence (1990, 1999), criticizes Alfred Tarski's widely accepted analysis of logical consequence.
His most prominent work, The Concept of Logical Consequence (1990, 1999), challenges Alfred Tarski's commonly accepted interpretation of logical consequence.