Logical systems containing only a finite number of symbolsby Leon HenkinSymbolic and mathematical LogicWriting a summary for young readers…For young readersBook data: Open Library