Logical systems containing only a finite number of symbols (Seminaire de mathematiques superieures) | lit.salon