A Precis of Mathematical Logic (Synthese Library) | lit.salon