Abstract
This is a clearly written account of Martin's views of analytic truth, containing, in addition to the philosophical considerations, some novel formal results. The formal theory offered is shown to satisfy plausible adequacy conditions, and is notable for economy of assumptions--a reflection of Martin's conviction that semantical metalanguages should, so far as possible, be neutral to issues in ontology. But one need not share the author's extensionalist outlook in order to find much of interest here.--A. R. A.