Title: Logical systems containing only a finite number of symbols
Subjects: Symbolic and mathematical Logic