Logical systems containing only a finite number of symbols [monographie] Notes du cours donné par le professeur Leon Henkin à la cinquième session du Séminaire de mathématiques supérieures de l'Université de Montréal, tenue l'été 1966. Le séminaire est placé sous les auspices conjointes de l'Organisa