Logical Systems Containing Only a Finite Number of Symbols," Presses de l'Universite de Montreal (1967)

by L Henkin