1 - Logical systems containing only a finite number of symbolsHenkin, Leon Albert (1921-2006)Cote : [05 HEN 67]