Categories and Types in Logic, Language, and Physicsby Richard WadeWriting a summary for young readers…For young readersBook data: Open Library