Logical systems containing only a finite number of symbols (Seminaire de mathematiques superieures)by Leon HenkinWriting a summary for young readers…For young readersBook data: Open Library