Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by the author shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory.