Logical systems containing only a finite number of symbols/
Leon Henkin.
- Montreal: Presses de l'Université de Montréal, 1967.
- 48 l.: illus., 28 cm.
- Séminaire de mathématiques supérieures 21 .
"Notes du cours donné ... à la cinquiéme session du Séminaire de mathématiques supérieures de l'Université de Montréal, tenue l'eté 1966."